Using learnt clauses in MAXSAT

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