https://5dok.net/document/lq5x63gz-generating-maximal-independent-sets-hardness-polynomial-time-algorithms.html