Improved Exact Solvers for Weighted Max-SAT

dc.contributor.author	Alsinet, Teresa
dc.contributor.author	Manyà Serres, Felip
dc.contributor.author	Planes Cid, Jordi
dc.date.accessioned	2016-07-13T08:20:54Z
dc.date.embargoEndDate	2025-01-01
dc.date.issued	2005
dc.description.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	ca_ES
dc.description.sponsorship	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	ca_ES
dc.identifier.doi	https://doi.org/10.1007/11499107_27
dc.identifier.idgrec	006638
dc.identifier.issn	0302-9743
dc.identifier.uri	http://hdl.handle.net/10459.1/57551
dc.language.iso	eng	ca_ES
dc.publisher	Springer Verlag	ca_ES
dc.relation	info:eu-repo/grantAgreement/MEC//TIN2004-07933-C03-03/ES/	ca_ES
dc.relation	info:eu-repo/grantAgreement/MICYT//TIC2003-00950/ES/	ca_ES
dc.relation.isformatof	Reproducció del document publicat a https://doi.org/10.1007/11499107_27	ca_ES
dc.relation.ispartof	Lecture Notes in Computer Science, 2005, vol. 3569, p. 371-377	ca_ES
dc.rights	(c) Springer-Verlag Berlin Heidelberg, 2005	ca_ES
dc.rights.accessRights	info:eu-repo/semantics/restrictedAccess	ca_ES
dc.title	Improved Exact Solvers for Weighted Max-SAT	ca_ES
dc.type	article	ca_ES
dc.type.version	publishedVersion	ca_ES

Now showing 1 - 1 of 1