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 - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

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

Abstract

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.
Fichier principal
Vignette du fichier
66.pdf (173.12 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00151067 , version 1 (01-06-2007)

Identifiers

  • HAL Id : inria-00151067 , version 1

Cite

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. ⟨inria-00151067⟩
112 View
96 Download

Share

Gmail Facebook X LinkedIn More