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.

• Type: Conference
• Year: 2005
• Where: SAT
• Authors: Teresa Alsinet, Felip Manyà, Jordi Planes
• Keywords: Incorporate Original Data, Lower Bound, SAT 2005, Weighted Max-sat Solvers