Les participants de cette action spécifique se répartissent essentiellement dans quatre laboratoires, particulèrement actifs dans la communauté française s'intéressant au traitement de formules booléennes, et qui rassemblent un certain nombre de compétences complémentaires en lien avec cette action :
Remarque : Daniel Le Berre et Laurent Simon sont aussi
impliqués dans l'organisation de la prochaine compétition
SAT-2003, qui comportera notamment une partie hors-concours sur
l'évaluation expérimentale de démonstrateurs QBF.
Cette action reste ouverte à d'autres membres, intéressés par cette problématique, et qui souhaiteraient se joindre aux travaux en cours.