Using learnt clauses in MAXSAT

principles and practice of constraint programming, 2013.

Cited by: 6|Bibtex|Views10
EI
Other Links: dblp.uni-trier.de|dl.acm.org|academic.microsoft.com

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments