2006 and 2007 Max-SAT Evaluations: Contributed Instances
Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex · Journal on Satisfiability Boolean Modeling and Computation · 2008
In this technical report we briefly describe the instances submitted to the 2006 and 2007 Max-SAT Evaluations. First, we introduce the instances that can be directly encoded as Max-SAT. Then, we describe the methods used to translate problem instance