Search vs. Symbolic Techniques in Satisfiability Solving.

Guoqiang Pan, Moshe Y. Vardi

Browse the full SAT paper archive.