HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

https://hal.inria.fr/inria-00000044
Contributor : Christine Solnon Connect in order to contact the contributor
Submitted on : Tuesday, May 24, 2005 - 1:05:30 PM
Last modification on : Wednesday, October 20, 2021 - 3:19:07 AM
Long-term archiving on: : Thursday, April 1, 2010 - 9:30:36 PM

Files

Identifiers

  • HAL Id : inria-00000044, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

41

Files downloads

27