Skip to Main content Skip to Navigation
New interface
Journal articles

2006 and 2007 Max-SAT evaluations: contributed instances

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.
Document type :
Journal articles
Complete list of metadata

Cited literature [34 references]  Display  Hide  Download
Contributor : Migration ProdInra Connect in order to contact the contributor
Submitted on : Friday, May 29, 2020 - 11:17:29 PM
Last modification on : Friday, November 18, 2022 - 4:13:33 AM


2006 and 2007 Max-SAT evaluati...
Publisher files allowed on an open archive


  • HAL Id : hal-02656247, version 1
  • PRODINRA : 186576



Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex. 2006 and 2007 Max-SAT evaluations: contributed instances. Journal on Satisfiability, Boolean Modeling and Computation, 2008, 4, pp.239-250. ⟨hal-02656247⟩



Record views


Files downloads