Symbolic Techniques in Propositional Satisfiability Solving.

Moshe Y. Vardi

Browse the full SAT paper archive.