Sciweavers

SAT
2005
Springer

Improved Exact Solvers for Weighted Max-SAT

13 years 9 months ago
Improved Exact Solvers for Weighted Max-SAT
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.
Teresa Alsinet, Felip Manyà, Jordi Planes
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where SAT
Authors Teresa Alsinet, Felip Manyà, Jordi Planes
Comments (0)