Skip to Main content Skip to Navigation
Conference papers

Résolution exacte de MinSAT

Résumé : MinSAT est le problème consistant à trouver une affectation qui minimise le nombre de clauses satisfaites dans une formule CNF. Nous présentons une approche originale pour résoudre MinSAT de façon exacte, qui repose sur le codage MaxSAT et les solveurs MaxSAT. Notre étude empirique fournit la preuve que, en l'absence de spécifiques solveurs exacts pour MinSAT, l'approche générique proposée dans ce papier est compétitive.
Document type :
Conference papers
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/inria-00520378
Contributor : Christophe Lecoutre Connect in order to contact the contributor
Submitted on : Thursday, September 23, 2010 - 9:38:50 AM
Last modification on : Friday, October 8, 2021 - 4:28:06 PM
Long-term archiving on: : Thursday, June 30, 2011 - 1:30:09 PM

File

quan2.pdf
Explicit agreement for this submission

Identifiers

  • HAL Id : inria-00520378, version 1

Collections

Citation

Chu Min Li, Felip Manya, Zhe Quan, Zhu Zhu. Résolution exacte de MinSAT. JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.217-226. ⟨inria-00520378⟩

Share

Metrics

Record views

50

Files downloads

313