|Títol||The First and Second Max-SAT Evaluations|
|Publication Type||Journal Article|
|Year of Publication||2008|
|Authors||Argerlich J., Li CMin, Manyà F, Planes J|
|Journal||Journal on Satisfiability, Boolean Modeling and Computation|
|Paraules clau||Evaluation, Max-SAT|
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.
- Quant a IIIA