Show simple item record

dc.contributor.authorArgelich Romà, Josep
dc.contributor.authorLi, Chu-Min
dc.contributor.authorManyà Serres, Felip
dc.contributor.authorPlanes Cid, Jordi
dc.date.accessioned2016-03-01T09:58:37Z
dc.date.available2016-03-01T09:58:37Z
dc.date.issued2008
dc.identifier.issn1574-0617
dc.identifier.urihttp://hdl.handle.net/10459.1/56661
dc.description.abstractWe describe the organization and report on the results of the First and Second Max-SAT Evaluations, which were organized as affiliated events of the 2006 and 2007 editions of the International Conference on Theory and Applications of Satisfiability Testing (SAT-2006 and SAT-2007), discuss the insights gained and point out new directions for forthcoming evaluations. The main objectives of both evaluations were assessing the advancements in the field of Max-SAT solvers through a comparison of their performances, identifying successful solving techniques and encouraging researchers to develop new ones, and creating a publicly available collection of challenging Max-SAT benchmarks.ca_ES
dc.description.sponsorshipThis research has been partially supported by projects IEA (TIN2006-15662-C02-02), Agreement Technologies (CONSOLIDER CSD2007-0022, INGENIO 2010) and MULOG (TIN2007-68005-C04-02) funded by the Ministerio de Educaci´on y Ciencia. The second author is partially supported by National 973 Program of China under Grant No. 2005CB321900.ca_ES
dc.language.isoengca_ES
dc.publisherIOS Pressca_ES
dc.relation.isformatofReproducció del document publicat a http://jsat.ewi.tudelft.nl/content/volume4/JSAT4_13_Argelich.pdfca_ES
dc.relation.ispartofJournal on Satisfiability, Boolean Modeling and Computation, 2008, vol. 4, p. 251-278ca_ES
dc.rights(c) Delft University of Technology and the authors, 2008ca_ES
dc.subjectMax-SATca_ES
dc.subjectWeighted Max-SATca_ES
dc.subjectPartial Max-SATca_ES
dc.subjectWeighted Partial MaxSATca_ES
dc.titleThe first and second Max-SAT evaluationsca_ES
dc.typearticleca_ES
dc.identifier.idgrec015042
dc.type.versionpublishedVersionca_ES
dc.rights.accessRightsinfo:eu-repo/semantics/openAccessca_ES


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record