Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Gilles Audemard
Gilles Audemard a rédigé la thèse suivante :
Résolution du problème SAT et génération de modèles finis en logique du premier ordre
par Gilles Audemard sous la direction de Belaïd Benhamou - Aix-Marseille 1
Informatique
Soutenue en 2001
Gilles Audemard a dirigé les 4 thèses suivantes :
SAT en Parallèle
par Nicolas Szczepanski sous la direction de Gilles Audemard - Artois
Informatique
Soutenue le 12-12-2017
Graphes et contraintes
par Mouny Samy Modeliar sous la direction de Christophe Lecoutre et de Gilles Audemard . - Artois
Informatique
Soutenue le 22-03-2017
Solving the Boolean satisfiability problem using the parallel paradigm
par Benoît Hoessen sous la direction de Gilles Audemard - Artois
Informatique
Soutenue le 10-12-2014
Satisfiabilité propositionnelle et raisonnement par contraintes : modèles et algorithmes
par Jean-Marie Lagniez sous la direction de Lakhdar Saïs , Gilles Audemard et de Bertrand Mazure . - Artois
Informatique
Soutenue le 06-12-2011
Gilles Audemard a été président de jury de la thèse suivante :
La substituabilité et la cohérence de tuples pour les réseaux de contraintes pondérées
par Djamel-Eddine Dehani sous la direction de Christophe Lecoutre - Artois
Informatique
Soutenue le 13-02-2014
Gilles Audemard a été rapporteur de la thèse suivante :
Problème de caractérisation multiple : Application à la détection de souches bactériennes phytopathogènes
par Fabien-Sothéa Chhel sous la direction de Frédéric Saubion et de Frédéric Lardeux . - Angers
Informatique
Soutenue le 01-10-2014
