Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Three Truth Values for the SAT and Max-SAT Problems

Abstract :

The aim of this paper is to propose a new resolution framework for the SAT and MAX-SAT problems which introduces a third truth value undefined in order to improve the resolution efficiency. Using this framework, we have adapted the classic algorithms Tabu Search andWalksat. Promising results are obtained and show the interest of our approach.

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01119899
Contributeur : Okina Université d'Angers Connectez-vous pour contacter le contributeur
Soumis le : jeudi 14 octobre 2021 - 15:02:19
Dernière modification le : mercredi 20 octobre 2021 - 03:19:09

Fichier

IJCAI05.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01119899, version 1
  • OKINA : ua8142

Collections

Citation

Frédéric Lardeux, Frédéric Saubion, Jin-Kao Hao. Three Truth Values for the SAT and Max-SAT Problems. 19th International Joint Conference on Artificial Intelligence, 2005, San Francisco, United States. pp.187-192. ⟨hal-01119899⟩

Partager

Métriques

Consultations de la notice

48

Téléchargements de fichiers

15