A SAT Solver Primer (2005)

by Y Gurevich
Venue:In Bull. Euro. Ass. Theoret. Comput. Science