Mining Backbone Literals in Incremental SAT

Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing -- SAT 2015 ◽

10.1007/978-3-319-24318-4_8 ◽

2015 ◽

pp. 88-103 ◽

Cited By ~ 1

Author(s):

Alexander Ivrii ◽

Vadim Ryvchin ◽

Ofer Strichman

Download Full-text