The first and second Max-SAT evaluations

Abstract

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.

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.