History


Please fill in your query. A complete syntax description you will find on the General Help page.
The first and second Max-SAT evaluations. (English)
J. Satisf. Boolean Model. Comput. 4, No. 2-4, 251-278 (2008).
Summary: 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.
WorldCat.org
Valid XHTML 1.0 Transitional Valid CSS!