Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/10459.1/57551

Título:	Improved Exact Solvers for Weighted Max-SAT
Autor/a:	Alsinet, Teresa; Manyà Serres, Felip; Planes Cid, Jordi
Notas:	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
Derechos:	(c) Springer-Verlag Berlin Heidelberg, 2005 info:eu-repo/semantics/restrictedAccess
Tipo de documento:	article publishedVersion
Editor:	Springer Verlag
Compartir:

Documentos con el texto completo de este documento

Mostrar el registro completo del ítem