Résolution exacte de MinSAT - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Résolution exacte de MinSAT

Abstract

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.
Fichier principal
Vignette du fichier
quan2.pdf (109.88 Ko) Télécharger le fichier
Origin : Explicit agreement for this submission
Loading...

Dates and versions

inria-00520378 , version 1 (23-09-2010)

Identifiers

  • HAL Id : inria-00520378 , version 1

Cite

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⟩
58 View
316 Download

Share

Gmail Facebook X LinkedIn More