On CDCL-Based Proof Systems with the Ordered Decision Strategy.

Nathan Mull, Shuo Pang, Alexander A. Razborov

Browse the full SAT paper archive.