XOR-CNFの署名の列挙に関する研究

CNFの署名を生成することは可能であり、特にXOR-CNFの場合はトラクタブルである。