- Computer Science Laboratory

DUBOIS Olivier

Habilitation - SYSDEF

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

Phd defence : 09/10/2003