The first and second Max-SAT evaluations
MetadataShow full item record
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 ofJournal on Satisfiability, Boolean Modeling and Computation, 2008, vol. 4, p. 251-278
Showing items related by title, author, creator and subject.
Belenguer Seuma, Andreu (2012-02-07)Presentación de una traducción de los problemas MaxSAT y MinSAT a un problema de programación lineal entera e implementación de un resolutor MaxSAT y MinSAT usando Python y el software de programación lineal entera CPLEX. ...
Alsinet, Teresa; Manyà Serres, Felip; Planes Cid, Jordi (Springer, 2008)We present a new branch and bound algorithm for weighted Max-SAT, called Lazy which incorporates original data structures and inference rules, as well as a lower bound of better quality. We provide experimental evidence ...
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 ...