dc.contributor.author |
Alsinet, Teresa |
dc.contributor.author |
Manyà Serres, Felip |
dc.contributor.author |
Planes Cid, Jordi |
dc.date |
2016-07-13T08:20:54Z |
dc.date |
2005 |
dc.date |
10000-01-01 |
dc.identifier |
0302-9743 |
dc.identifier |
http://hdl.handle.net/10459.1/57551 |
dc.identifier |
https://doi.org/10.1007/11499107_27 |
dc.identifier.uri |
http://hdl.handle.net/10459.1/57551 |
dc.description |
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 |
dc.description |
Research partially supported by projects TIN2004-07933-C03-03 and TIC2003-00950 funded by the Ministerio de Educación y Ciencia. The second author is supported by a grant Ramón y Cajal |
dc.language |
eng |
dc.publisher |
Springer Verlag |
dc.relation |
MIECI/PN2004-2007/TIN2004-07933-C03-03 |
dc.relation |
MICYT/PN2000-2003/TIC2003-00950 |
dc.relation |
Reproducció del document publicat a https://doi.org/10.1007/11499107_27 |
dc.relation |
Lecture Notes in Computer Science, 2005, vol. 3569, p. 371-377 |
dc.rights |
(c) Springer-Verlag Berlin Heidelberg, 2005 |
dc.rights |
info:eu-repo/semantics/restrictedAccess |
dc.title |
Improved Exact Solvers for Weighted Max-SAT |
dc.type |
article |
dc.type |
publishedVersion |