Publications

The First and Second Max-SAT Evaluations

Publication Type:

Journal Article

Authors:

J. Argerlich; Chu Min Li; Felip Manyà; Jordi Planes

Source:

Journal on Satisfiability, Boolean Modeling and Computation, Volume 4, p.251-278 (2008)

URL:

http://www.isa.ewi.tudelft.nl/Jsat/

Keywords:

Max-SAT; Evaluation

Abstract:

We describe the organization and report on the results of the First and Second Max-SAT
Evaluations, which were organized as affilliated events of the 2006 and 2007 editions of the
International Conference on Theory and Applications of Satis?ability Testing (SAT-2006
and SAT-2007), discuss the insights gained and point out new directions for forthcoming
evaluations. The main ob jectives of both evaluations were assessing the advancements
in the ?eld 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.

Projects: 
AT
»