LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » News » PhD students

DUBOIS Olivier

Habilitation - SYSDEF

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

Defence : 09/10/2003
 Mentions légales
Site map |