Action spécifique QBF

Présentation

Journée de Travail sur les
Formules Booléennes Quantifiées

 
Dans le cadre des activités de l'action spécifique "Algorithmique et problématique expérimentale pour l'évaluation de formules booléennes quantifiées" (AS CNRS STIC 83 du RTP 11 "Information et Intelligence : Raisonner et Décider"), une journée nationale sur le thème des formules booléennes quantifiées (QBF - Logique propositionnelle) a été organisée le 21 novembre 2003.

Cette journée a été l'occasion d'aborder différents aspects liés aux QBF, tant au niveau théorique que pratique, lors de la conception de démonstrateurs et de leur évaluation expérimentale, ainsi qu'aux domaines d'application.  Vous trouverez ci-dessous les transparents des exposés :



Hans Kleine Buning
Pierre Marquis
Uwe Egly
Beyond DP: Alternative Calculi for QBF Solving
Enrico Giunchiglia
QBF reasoning at Genova
Jussi Rintanen
Daniel Le Berre
 

siteasqbf@cril.univ-artois.fr