Improved Exact Solvers for Weighted Max-SAT

Alsinet, Teresa; Manyà Serres, Felip; Planes Cid, Jordi

doi:https://doi.org/10.1007/11499107_27

View/Open

006638.pdf (151.3Kb)
Sol·licita una còpia

Issue date

2005

Author

Alsinet, Teresa

Manyà Serres, Felip

Planes Cid, Jordi

Suggested citation

Alsinet, Teresa; Manyà Serres, Felip; Planes Cid, Jordi; . (2005) . Improved Exact Solvers for Weighted Max-SAT. Lecture Notes in Computer Science, 2005, vol. 3569, p. 371-377. https://doi.org/10.1007/11499107_27.

Abstract

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

URI

http://hdl.handle.net/10459.1/57551

DOI

https://doi.org/10.1007/11499107_27

Is part of

Lecture Notes in Computer Science, 2005, vol. 3569, p. 371-377

Collections

Articles publicats (Informàtica i Enginyeria Industrial) [935]
Publicacions de projectes de recerca del Plan Nacional [2684]
Grup de Recerca en Energia i Intel·ligència Artificial (GREiA) (INSPIRES) [445]