| HAL-Inria | Publications, software ... of Inria's scientists |
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.
https://hal.inria.fr/inria-00000044
Contributor : Christine Solnon <>
Submitted on : Tuesday, May 24, 2005 - 1:05:30 PM
Last modification on : Thursday, November 26, 2020 - 10:30:09 AM
Long-term archiving on: : Thursday, April 1, 2010 - 9:30:36 PM
Contributor : Christine Solnon <>
Submitted on : Tuesday, May 24, 2005 - 1:05:30 PM
Last modification on : Thursday, November 26, 2020 - 10:30:09 AM
Long-term archiving on: : Thursday, April 1, 2010 - 9:30:36 PM