Using learnt clauses in MAXSAT
principles and practice of constraint programming, 2013.
MAXSAT is an optimization version of SAT capable of expressing a variety of practical problems. MAXSAT solvers have been designed to take advantage of many of the successful techniques of SAT solvers. However, the most important technique of modern SAT solvers, clause learning, has not been utilized since learnt clauses cannot be soundly ...More
Full Text (Upload PDF)
PPT (Upload PPT)