The first and second Max-SAT evaluations

Thumbnail
View/Open
Issue date
2008
Author
Argelich Romà, Josep
Li, Chu-Min
Manyà Serres, Felip
Planes Cid, Jordi
Suggested citation
Argelich Romà, Josep; Li, Chu-Min; Manyà Serres, Felip; Planes Cid, Jordi; . (2008) . The first and second Max-SAT evaluations. Journal on Satisfiability, Boolean Modeling and Computation, 2008, vol. 4, p. 251-278. http://hdl.handle.net/10459.1/56661.
Impact

Google Scholar logo  Google Scholar
Share
Export to Mendeley
Metadata
Show full item record
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.
URI
http://hdl.handle.net/10459.1/56661
Is part of
Journal on Satisfiability, Boolean Modeling and Computation, 2008, vol. 4, p. 251-278
Collections