Aligning CNF- and Equivalence-reasoning.

Marijn Heule, Hans van Maaren

Browse the full SAT paper archive.