Minimizing Learned Clauses

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

10.1007/978-3-642-02777-2_23 ◽

2009 ◽

pp. 237-243 ◽

Cited By ~ 27

Author(s):

Niklas Sörensson ◽

Armin Biere

Download Full-text