Gilles Audemard
Original record- Institution
- Aix-Marseille Université
- Year
- 2001
- Country
- France
- MGP identifier
- 343429
Dissertation: Résolution du problème SAT et génération de modèles finis en logique du premier ordre
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Belaïd BenhamouAix-Marseille Université · 1993
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Jean-Marie Lagniez | Université d'Artois | 2011 | 0 |