An Exponential Separation Between Deterministic CDCL and DPLL Solvers.

Sahil Samar, Marc Vinyals, Vijay Ganesh

Browse the full SAT paper archive.