DUBOIS Olivier
Habilitation à Diriger des Recherches - SYSDEF
Date de départ : 10/09/2003
https://lip6.fr/Olivier.Dubois
Date de départ : 10/09/2003
https://lip6.fr/Olivier.Dubois
Problèmes de Satisfaisabilité : phénomènes de seuil, résolution algorithme, applications
Soutenance : 10/09/2003
Date de départ : 10/09/2003