The first and second Max-SAT evaluations

View/ Open
Issue date
2008Suggested 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.
Metadata
Show full item recordAbstract
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.
Is part of
Journal on Satisfiability, Boolean Modeling and Computation, 2008, vol. 4, p. 251-278European research projects
Collections
Related items
Showing items related by title, author, creator and subject.
-
Exact Algorithms for MAX-SAT
Zhang, Hantao; Shen, Haiou; Manyà Serres, Felip (Elsevier, 2003)The maximum satisfiability problem (MAX-SAT) is stated as follows: Given a boolean formula in CNF, find a truth assignment that satisfies the maximum possible number of its clauses. MAX-SAT is MAX-SNP-complete and received ... -
Modelling Max-CSP as Partial Max-SAT
Argelich Romà, Josep; Cabiscol i Teixidó, Alba; Lynce, Inês; Manyà Serres, Felip (Springer Verlag, 2008)We define a number of original encodings that map MaxCSP instances into partial Max-SAT instances. Our encodings rely on the well-known direct and support encodings from CSP into SAT. Then, we report on an experimental ... -
Analyzing the instances of the MaxSAT evaluation
Argelich Romà, Josep; Li, Chu-Min; Manyà Serres, Felip; Planes Cid, Jordi (Springer Verlag, 2011)The MaxSAT Evaluation [1] is an affiliated event of the SAT Conference that is held every year since 2006, and is devoted to empirically evaluate exact MaxSAT algorithms solving any of the following problems: MaxSAT, ...