DUBOIS Olivier

Problèmes de Satisfaisabilité : phénomènes de seuil, résolution algorithme, applications

Defence : 09/10/2003