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 :