Une (presque) génération automatique d'un compilateur de tables de vérité vers un solveur pour formules booléennes quantifiées prénexes

Résumé : Cet article propose d'étendre la génération automatique d'un ensemble de règles de propagation booléenne quantifiée basée sur les littéraux à partir de la table de vérité d'un opérateur logique binaire à la génération automatique d'un compilateur prenant en entrée la table de vérité d'un opérateur logique binaire et offrant en sortie un solveur pour formules booléennes quantifiées prénexes non-FNC.
Type de document :
Communication dans un congrès
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France, 2007, JFPC07
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00151067
Contributeur : Sylvain Soliman <>
Soumis le : vendredi 1 juin 2007 - 15:23:53
Dernière modification le : mercredi 21 février 2018 - 15:48:03
Document(s) archivé(s) le : jeudi 8 avril 2010 - 18:41:32

Fichier

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

Identifiants

  • HAL Id : inria-00151067, version 1

Collections

Citation

Igor Stéphan. Une (presque) génération automatique d'un compilateur de tables de vérité vers un solveur pour formules booléennes quantifiées prénexes. Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France, 2007, JFPC07. 〈inria-00151067〉

Partager

Métriques

Consultations de la notice

80

Téléchargements de fichiers

98