2006 and 2007 Max-SAT evaluations: contributed instances
Résumé
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
2006 and 2007 Max-SAT evaluations_contributed instances_TS SDG_1.pdf (302.45 Ko)
Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...