TítuloAn Efficient Solver for Weighted Max-SAT
Publication TypeJournal Article
Year of Publication2008
AuthorsAlsinet T, Manyà F, Planes J
JournalJournal of Global Optimization
Volume41
Número1
Paginación61-73
Resumen

We present a new branch and bound algorithm for weighted Max-SAT, called Lazy, which incorporates original data structures and inference rules, as well as a lower bound of better quality. We provide experimental evidence that our solver is very competitive and outperforms some of the best performing Max-SAT and weighted Max-SAT solvers on a wide range of instances.