Improved Exact Solvers for Weighted Max-SAT
Issue date
2005Suggested citation
Alsinet, Teresa;
Manyà Serres, Felip;
Planes Cid, Jordi;
.
(2005)
.
Improved Exact Solvers for Weighted Max-SAT.
Lecture Notes in Computer Science, 2005, vol. 3569, p. 371-377.
https://doi.org/10.1007/11499107_27.
Metadata
Show full item recordAbstract
We present two new branch and bound weighted Max-SAT
solvers (Lazy and Lazy ) which incorporate original data structures and
inference rules, and a lower bound of better quality