Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > SIMON Laurent
Présentation
M. SIMON Laurent
SIMON Professeur 2nde classe
unknown
Données et Connaissances Massives et Hétérogènes

Tel :
Fax :
Bureau : 271/PCRI-S

Page personnelle : http://www.lri.fr/~simon
Courrier électronique : simon@lri.fr

Activités de recherche
   - Démonstration automatique
   - Diagnostic
   - SAT
   - QBF
   - Compilation de bases de connaissances








Logiciels et brevets
   - SomeWhere : Calcul de conséquences en pair-à-pair
   - GUNSAT : GUNSAT, a greedy local search algorithm for unsatisfiability
   - Glucose : The solver that looks for glue clauses


Thèses et habilitations
Doctorat   - SIMON.10-09-1998
Habilitation à diriger des recherches   - Logique Propositionnelle : un langage simple, des problèmes complexes