Combining the k-CNF and XOR Phase-Transitions.

Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi

Browse the full IJCAI paper archive.