Une vision trivaluée pour les problèmes SAT et MAX-SAT - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

Une vision trivaluée pour les problèmes SAT et MAX-SAT

Résumé

Dans cet article nous proposons un nouveau cadre de résolution pour les problèmes SAT et AX-SAT. Ce cadre introduit la troisième valeur de vérité ``indéterminé'' dans le but d'améliorer l'efficacité de la résolution. Nous avons adapté l'algorithme de recherche Tabou ainsi que Walksat avec ce nouveau cadre de résolution. Des résultats prometteurs ont été obtenus et montrent l'intérêt de notre approche.
Fichier principal
Vignette du fichier
2.pdf (296.52 Ko) Télécharger le fichier

Dates et versions

inria-00000044 , version 1 (24-05-2005)

Identifiants

  • HAL Id : inria-00000044 , version 1

Citer

Frédéric Lardeux, Frédéric Saubion, Jin-Kao Hao. Une vision trivaluée pour les problèmes SAT et MAX-SAT. Premières Journées Francophones de Programmation par Contraintes, CRIL - CNRS FRE 2499, Jun 2005, Lens, pp.297-304. ⟨inria-00000044⟩
45 Consultations
30 Téléchargements

Partager

Gmail Facebook X LinkedIn More