Reencoding Unique Literal Clauses.

Aeacus Sheng, Joseph E. Reeves, Marijn J. H. Heule

Browse the full SAT paper archive.