Utilisation et extensions de l'algorithmique pour SAT pour la résolution de différents problèmes d'intelligence artificielle
FR
Auteur / Autrice : | David Ansart |
Direction : | Eric Grégoire |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 2005 |
Etablissement(s) : | Artois |
Mots clés
FR