Skip to Main content Skip to Navigation
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

https://hal.inrae.fr/hal-02656247
Contributor : Migration Prodinra Connect in order to contact the contributor
Submitted on : Friday, May 29, 2020 - 11:17:29 PM
Last modification on : Monday, November 16, 2020 - 3:56:03 PM

File

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

Identifiers

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

Collections

Citation

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

Share

Metrics

Record views

17

Files downloads

58