On Limits of Symbolic Approach to SAT Solving.

Dmitry Itsykson, Sergei Ovcharov

Browse the full SAT paper archive.