The first and second Max-SAT evaluations

We 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 insigh...

Descripción completa

Detalles Bibliográficos
Autores: Argelich Romà, Josep, Li, Chu-Min, Manyà Serres, Felip, Planes Cid, Jordi
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2008
País:España
Institución:Universitat de Lleida (UdL)
Repositorio:Repositori Obert UdL
OAI Identifier:oai:repositori.udl.cat:10459.1/56661
Acceso en línea:http://hdl.handle.net/10459.1/56661
Access Level:acceso abierto
Palabra clave:Max-SAT
Weighted Max-SAT
Partial Max-SAT
Weighted Partial MaxSAT
id ES_33244ced8a928bbb4fbc5aa7775b98c0
oai_identifier_str oai:repositori.udl.cat:10459.1/56661
network_acronym_str ES
network_name_str España
repository_id_str
spelling The first and second Max-SAT evaluationsArgelich Romà, JosepLi, Chu-MinManyà Serres, FelipPlanes Cid, JordiMax-SATWeighted Max-SATPartial Max-SATWeighted Partial MaxSATWe 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.This 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.IOS Press2008info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://hdl.handle.net/10459.1/56661reponame:Repositori Obert UdL instname:Universitat de Lleida (UdL)InglésReproducció del document publicat a http://jsat.ewi.tudelft.nl/content/volume4/JSAT4_13_Argelich.pdfJournal on Satisfiability, Boolean Modeling and Computation, 2008, vol. 4, p. 251-278(c) Delft University of Technology and the authors, 2008info:eu-repo/semantics/openAccessoai:repositori.udl.cat:10459.1/566612026-06-24T12:42:17Z
dc.title.none.fl_str_mv The first and second Max-SAT evaluations
title The first and second Max-SAT evaluations
spellingShingle The first and second Max-SAT evaluations
Argelich Romà, Josep
Max-SAT
Weighted Max-SAT
Partial Max-SAT
Weighted Partial MaxSAT
title_short The first and second Max-SAT evaluations
title_full The first and second Max-SAT evaluations
title_fullStr The first and second Max-SAT evaluations
title_full_unstemmed The first and second Max-SAT evaluations
title_sort The first and second Max-SAT evaluations
dc.creator.none.fl_str_mv Argelich Romà, Josep
Li, Chu-Min
Manyà Serres, Felip
Planes Cid, Jordi
author Argelich Romà, Josep
author_facet Argelich Romà, Josep
Li, Chu-Min
Manyà Serres, Felip
Planes Cid, Jordi
author_role author
author2 Li, Chu-Min
Manyà Serres, Felip
Planes Cid, Jordi
author2_role author
author
author
dc.subject.none.fl_str_mv Max-SAT
Weighted Max-SAT
Partial Max-SAT
Weighted Partial MaxSAT
topic Max-SAT
Weighted Max-SAT
Partial Max-SAT
Weighted Partial MaxSAT
description We 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.
publishDate 2008
dc.date.none.fl_str_mv 2008
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/10459.1/56661
url http://hdl.handle.net/10459.1/56661
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv Reproducció del document publicat a http://jsat.ewi.tudelft.nl/content/volume4/JSAT4_13_Argelich.pdf
Journal on Satisfiability, Boolean Modeling and Computation, 2008, vol. 4, p. 251-278
dc.rights.none.fl_str_mv (c) Delft University of Technology and the authors, 2008
info:eu-repo/semantics/openAccess
rights_invalid_str_mv (c) Delft University of Technology and the authors, 2008
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv IOS Press
publisher.none.fl_str_mv IOS Press
dc.source.none.fl_str_mv reponame:Repositori Obert UdL
instname:Universitat de Lleida (UdL)
instname_str Universitat de Lleida (UdL)
reponame_str Repositori Obert UdL
collection Repositori Obert UdL
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869405727639994368
score 15,81155

Similares en LA Referencia