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

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) [649]
Grup de Recerca en Intel·ligència Artificial (INSPIRES) [33]
Publicacions de projectes de recerca del Plan Nacional [1679]