Une nouvelle méthode hybride pour calculer tous les MSS et tous les MUS - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

Une nouvelle méthode hybride pour calculer tous les MSS et tous les MUS

Abstract

Dans ce papier, nous présentons une nouvelle technique complète permettant le calcul des sous-formules maximales consistantes (MSS) et des formules minimales inconsistantes (MUS) d'un ensemble de clauses booléennes. Cette approche améliore la meilleure technique complète connue de plusieurs manières. Elle utilise à la fois une recherche locale peu coûteuse en ressources et le nouveau concept de clause critique pour améliorer un algorithme complet proposé par Liffiton et Sakallah. Cette hybridation permet l'obtention de gains exponentiels. Ainsi, des résultats expérimentaux montrent que cette nouvelle approche dépasse la meilleure méthode proposée jusque ici.
Fichier principal
Vignette du fichier
8.pdf (98.97 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00151153 , version 1 (01-06-2007)

Identifiers

  • HAL Id : inria-00151153 , version 1

Cite

Eric Grégoire, Bertrand Mazure, Cédric Piette. Une nouvelle méthode hybride pour calculer tous les MSS et tous les MUS. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France. ⟨inria-00151153⟩
55 View
100 Download

Share

Gmail Facebook X LinkedIn More