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 :

• Le LRI - UMR 8623 CNRS - Université Paris-Sud (Orsay)
  Philippe Chatalic, Laurent Simon

• Le CRIL - FRE CNRS 2499 (Lens )
  Daniel Le Berre, Pierre Marquis, Sylvie Coste-Marquis, Bertrand Mazure, Olivier Roussel, Lakhdar Saïs

• Le LIP6 - UMR7606 CNRS - Université de Paris 6
  Olivier Dubois

• Le LaRIA - Université d'Amiens,
  Gilles Dequen

• L'IRIT - UMR 5505 CNRS - INPT - Université Paul Sabatier (Toulouse)
  Hélène Fargier, Jérome Lang

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.