Show simple item record

dc.contributor.authorAlsinet, Teresa
dc.contributor.authorManyà Serres, Felip
dc.contributor.authorPlanes Cid, Jordi
dc.date.accessioned2016-07-13T08:20:54Z
dc.date.issued2005
dc.identifier.issn0302-9743
dc.identifier.urihttp://hdl.handle.net/10459.1/57551
dc.description.abstractWe 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 qualityca_ES
dc.description.sponsorshipResearch 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 Cajalca_ES
dc.language.isoengca_ES
dc.publisherSpringer Verlagca_ES
dc.relationMIECI/PN2004-2007/TIN2004-07933-C03-03ca_ES
dc.relationMICYT/PN2000-2003/TIC2003-00950ca_ES
dc.relation.isformatofReproducció del document publicat a https://doi.org/10.1007/11499107_27ca_ES
dc.relation.ispartofLecture Notes in Computer Science, 2005, vol. 3569, p. 371-377ca_ES
dc.rights(c) Springer-Verlag Berlin Heidelberg, 2005ca_ES
dc.titleImproved Exact Solvers for Weighted Max-SATca_ES
dc.typearticleca_ES
dc.identifier.idgrec006638
dc.type.versionpublishedVersionca_ES
dc.rights.accessRightsinfo:eu-repo/semantics/restrictedAccessca_ES
dc.identifier.doihttps://doi.org/10.1007/11499107_27
dc.date.embargoEndDate2025-01-01


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record