next up previous
suivant: Critères d'évaluation et de monter: Proposition d'Action Spécifique STIC-CNRS précédent: Thématique abordée

Objectifs

L'état de la recherche sur les QBF aujourd'hui peut être comparé à celui de la recherche sur SAT il y a dix ans (lors des premières compétitions de démonstrateurs). Entre ces deux périodes, l'évaluation expérimentale a clairement été identifiée comme étant la clé d'un processus continuel d'amélioration pratique des algorithmes. Fort de ce constat, la méthodologie adoptée pour cette action consiste à considérer simultanément les aspects théoriques liés au développement de démonstrateurs QBF avec la problématique de l'évaluation expérimentale de ces derniers. Plusieurs axes de travail sont envisagés :



Sous-sections