Using Learnt Clauses in maxsat

Principles and Practice of Constraint Programming – CP 2010 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15396-9_17 ◽

2010 ◽

pp. 176-190 ◽

Author(s):

Jessica Davies ◽

Jeremy Cho ◽

Fahiem Bacchus

Download Full-text