Thèse préparée au sein du Laboratoire des Sciences de l'Information et des Systèmes (LSIS)
UMR CNRS 6168
équipe Inférence, Contraintes et Applications (INCA)
Université Paul Cézanne Aix-Marseille III
Domaine Universitaire Saint-Jérôme
Avenue Escadrille Normandie-Niemen
13397 Marseille Cedex 20
Calcul et exploitation de recouvrements acycliques pour la résolution de (V)CSP
Télécharger pdf
Soutenue le 11 Décembre 2007 à Marseille devant :
- M. Boi Faltings (Rapporteur)
- M. Philippe Jégou (Directeur de thèse)
- M. Pedro Meseguer (Examinateur)
- M. Thomas Schiex (Rapporteur)
- M. Cyril Terrioux (Directeur de thèse)
- M. Gérard Verfaillie (Examinateur)
- Mme. Marie-Catherine Vilarem (Examinatrice)
