Gilles Audemard
Ph.D. Aix-Marseille Université 2001
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 Benhamou
Student:
| Name | School | Year | Descendants |
|---|---|---|---|
| Lagniez, Jean-Marie | Université d'Artois | 2011 |
According to our current on-line database, Gilles Audemard has 1 student and 1 descendant.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 343429 for the advisor ID.