2006 and 2007 Max-SAT Evaluations: Contributed Instances

In this technical report we briefly describe the instances submitted to the 2006 and 2007 MaxSAT Evaluations. First, we introduce the instances that can be directly encoded as Max-SAT. Then, we describe the methods used to translate problem instances coming from other optimization frameworks to Max-SAT. Finally, we present a quick reference table containing short descriptions of each set of problem instances.

• Type: Journal
• Year: 2008
• Where: JSAT
• Authors: Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex
• Keywords: JSAT 2008, MaxSAT Evaluations, Problem Instances, Technical Report