TítuloImproved Exact Solver for Weighted Max-Sat
Publication TypeConference Paper
Year of Publication2005
AuthorsAlsinet T, Manyà F, Planes J.
EditorBacchus F, Walsh T
Conference NameLecture Notes in Computer Science
Volume3569
EditorialSpringer
Paginación371 - 377
Resumen

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