|Títol||An Efficient Solver for Weighted Max-SAT|
|Publication Type||Journal Article|
|Year of Publication||2008|
|Authors||Alsinet T, Manyà F, Planes J|
|Journal||Journal of Global Optimization|
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.
- Quant a IIIA