You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

The First and Second Max-SAT Evaluations

Issue title: 2007 Competitions

Guest editors: Ewald Speckenmeyer, Chu Min Li, Vasco Manquinho and Armando Tacchella

Article type: Research Article

Authors: Argelich, Josepa | Li, Chu-Minb | Manyà, Felipc | Planes, Jordid

Affiliations: [a] INESC-ID Lisboa, Rua Alves Redol 9, 1000-029 Lisboa, Portugal. E-mail: [email protected] | [b] Université de Picardie, 33 Rue St. Leu, 80039 Amiens Cedex 1, France. E-mail: [email protected] | [c] Artificial Intelligence Research Institute (IIIA, CSIC), Campus UAB, 08193 Bellaterra, Spain. E-mail: [email protected] | [d] University of Southampton, Highfield, Southampton SO17 1BJ, United Kingdom. E-mail: [email protected]

Keywords: Max-SAT, Weighted Max-SAT, Partial Max-SAT, Weighted Partial Max-SAT, empirical evaluation, solvers, benchmarks

DOI: 10.3233/SAT190047

Journal: Journal on Satisfiability, Boolean Modeling and Computation, vol. 4, no. 2-4, pp. 251-278, 2008

Received 1 October 2007
|
Revision received 1 March 2008
|
Published: 1 September 2008
Get PDF open access

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.

Show more