Ultimately Incremental SAT.

Alexander Nadel, Vadim Ryvchin, Ofer Strichman

Browse the full SAT paper archive.