UA - Université d'Angers : EA 2645 (40 rue de Rennes - BP 73532 - 49035 Angers cedex 01 - France)
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
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
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〉
