To access the full text documents, please follow this link: http://hdl.handle.net/10459.1/57551

Title:	Improved Exact Solvers for Weighted Max-SAT
Author:	Alsinet, Teresa; Manyà Serres, Felip; Planes Cid, Jordi
Notes:	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 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
Rights:	(c) Springer-Verlag Berlin Heidelberg, 2005 info:eu-repo/semantics/restrictedAccess
Document type:	article publishedVersion
Published by:	Springer Verlag
Share:

Full text files in this document

Show full item record