| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
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.
Cited literature [21 references]
https://hal.inria.fr/inria-00151067
Contributor : Sylvain Soliman <>
Submitted on : Friday, June 1, 2007 - 3:23:53 PM
Last modification on : Monday, June 1, 2020 - 4:54:02 PM
Long-term archiving on: : Thursday, April 8, 2010 - 6:41:32 PM
Contributor : Sylvain Soliman <>
Submitted on : Friday, June 1, 2007 - 3:23:53 PM
Last modification on : Monday, June 1, 2020 - 4:54:02 PM
Long-term archiving on: : Thursday, April 8, 2010 - 6:41:32 PM
File
66.pdf
Files produced by the author(s)