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






Responsabilités de contrats
   - UNLOC

Résultats majeurs
   - Meilleur SAT-Solveur au monde sur les instances industrielles
   - Glucose 2 meilleur solveur SAT (applications/SAT+UNSAT)
   - Glucose 2.1 SAT Solver won the SAT 2012 Challenge
   - Glucose 2.3 meilleur SAT solver 2013 (Application, certifié UNSAT)

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

Participations à des contrats
   - MEDIAD