Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > SIMON Laurent
About LRI
Mr SIMON Laurent

Warning: this member left the laboratory on 31/10/2020
SIMON Professeur 2nde classe
Large-scale Heterogeneous DAta and Knowledge

Tel :
Fax :
Office : 271/PCRI-S

Personal web page :
Email :

Research activities
   - Automated deduction
   - Diagnosis
   - SAT
   - QBF
   - Knowledge base compilation

Software & Patents
   - SomeWhere: Peer-to-Peer Consequence Finding
   - GUNSAT: GUNSAT, a greedy local search algorithm for unsatisfiability
   - Glucose: The solver that looks for glue clauses

Ph.D. dissertations & Faculty habilitations
Ph.D   - SIMON.10-09-1998
Faculty habilitation   - Logique Propositionnelle : un langage simple, des problèmes complexes