The Optimality of a Fast CNF Conversion and its Use with SAT.

Daniel Sheridan

Browse the full SAT paper archive.