Mining Backbone Literals in Incremental SAT - A New Kind of Incremental Data.

Alexander Ivrii, Vadim Ryvchin, Ofer Strichman

Browse the full SAT paper archive.