Assessing Progress in SAT Solvers Through the Lens of Incremental SAT.

Stepan Kochemazov, Alexey Ignatiev, Joo Marques-Silva

Browse the full SAT paper archive.