2006 and 2007 Max-SAT evaluations: contributed instances - Archive ouverte HAL Access content directly
Journal Articles Journal on Satisfiability, Boolean Modeling and Computation Year : 2008

2006 and 2007 Max-SAT evaluations: contributed instances

(1) , (1) , (2) , (2)
1
2

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.
Fichier principal
Vignette du fichier
2006 and 2007 Max-SAT evaluations_contributed instances_TS SDG_1.pdf (302.45 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

hal-02656247 , version 1 (29-05-2020)

Identifiers

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

Cite

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⟩
2 View
36 Download

Share

Gmail Facebook Twitter LinkedIn More