Importance de la sémantique dans le codage CNF de contraintes de cardinalité : application au diagnostic de SED - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2008

Importance de la sémantique dans le codage CNF de contraintes de cardinalité : application au diagnostic de SED

A. Anbulagan
  • Function : Author
  • PersonId : 849955
Alban Grastien
  • Function : Author
  • PersonId : 849956

Abstract

Le codage d'un problème a un impact énorme sur le temps de calcul en SAT : un solveur SAT peut résoudre très facilement un problème codé d'une certaine manière, et éprouver des difficultés pour le même problème codé d'une autre manière. Pire, un codage peut favoriser le temps de calcul d'un solveur, et se montrer au contraire inadapté pour un autre solveur. Dans cet article, nous nous concentrons sur l'expression en CNF de contraintes de cardinalité : étant donné un ensemble V de variables propositionelles, étant donnée une valeur entière k, exactement k variables de V doivent être évaluées à vrai. Nous proposons de nouvelles manières de modéliser ces contraintes en cherchant à grouper les variables dont la sémantique est proche. Nous étudions ces codages sur des problèmes de diagnostic de système à événements discrets (SED). Des problèmes jusqu'ici insolubles peuvent être à présent résolus à la fois par des procédures systématiques ou stochastiques. Les résultats mettent également en lumière l'existence d'un codage qui convienne aux deux types d'algorithme
Fichier principal
Vignette du fichier
pages-031-40-article23.pdf (313.82 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00290714 , version 1 (26-06-2008)

Identifiers

  • HAL Id : inria-00290714 , version 1

Cite

A. Anbulagan, Alban Grastien. Importance de la sémantique dans le codage CNF de contraintes de cardinalité : application au diagnostic de SED. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.31-40. ⟨inria-00290714⟩

Collections

JFPC08
43 View
38 Download

Share

Gmail Facebook Twitter LinkedIn More