Sciweavers

JSAT
2008

The First and Second Max-SAT Evaluations

13 years 11 months ago
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 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.
Josep Argelich, Chu Min Li, Felip Manyà, Jo
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2008
Where JSAT
Authors Josep Argelich, Chu Min Li, Felip Manyà, Jordi Planes
Comments (0)