next up previous
monter: Proposition d'Action Spécifique STIC-CNRS précédent: Conclusion

Participants

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.