|
Title:
|
A Max-SAT Solver with Lazy Data Structures
|
|
Author:
|
Alsinet, Teresa; Manyà Serres, Felip; Planes Cid, Jordi
|
|
Notes:
|
We present a new branch and bound algorithm for Max-SAT
which incorporates original lazy data structures, a new variable selection
heuristics and a lower bound of better quality. We provide experimental
evidence that our solver outperforms some of the best performing Max-
SAT solvers on a wide range of instances.
Research partially supported by projects TIC2003-00950 and TIC2001-1577-C03-03 funded by the Ministerio de Ciencia y Tecnolog´ıa. |
|
Subject(s):
|
-Max-SAT
-Branch and bound
-Lower bound |
|
Rights:
|
(c) Springer Verlag, 2004
info:eu-repo/semantics/restrictedAccess |
|
Document type:
|
article
publishedVersion |
|
Published by:
|
Springer Verlag
|
|
Share:
|
|
