XOR-CNF 수식의 서명 열거에 대한 연구

XOR-CNF 수식의 모든 서명, 최소 서명, 최대 서명을 효율적으로 열거할 수 있다.