You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

2006 and 2007 Max-SAT Evaluations: Contributed Instances

Issue title: 2007 Competitions

Guest editors: Ewald Speckenmeyer, Chu Min Li, Vasco Manquinho and Armando Tacchella

Article type: Research Article

Authors: Heras, Federicoa | Larrosa, Javiera | de Givry, Simonb | Schiex, Thomasb

Affiliations: [a] UPC, Barcelona, Spain. E-mails: fheras@lsi.upc.edu, larrosa@lsi.upc.edu | [b] INRA, Toulouse, France. E-mails: degivry@toulouse.inra.fr, Thomas.Schiex@toulouse.inra.fr

Keywords: Max-SAT problem instances

DOI: 10.3233/SAT190046

Journal: Journal on Satisfiability, Boolean Modeling and Computation, vol. 4, no. 2-4, pp. 239-250, 2008

Received 1 September 2007
|
Revision received 1 January 2008
|
Published: 1 June 2008
Get PDF open access

Abstract

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 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.

Show more