The First and Second Max-SAT Evaluations
Josep Argelich, Chu-Min Li, Felip Manyà, Jordi Planes · Journal on Satisfiability Boolean Modeling and Computation · 2008
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 T