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 :