Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > SIMON Laurent
About LRI
Mr SIMON Laurent
SIMON Professeur 2nde classe
unknown
Large-scale Heterogeneous DAta and Knowledge

Tel :
Fax :
Office : 271/PCRI-S

Personal web page : http://www.lri.fr/~simon
Email : simon@lri.fr

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






Principle investigator
   - UNLOC

Highlights
   - World's Best SAT solver on Industrial (UNSAT) problems
   - Glucose 2 best SAT solveur (Applications,SAT+UNSAT-
   - Glucose 2.1 SAT Solver won the SAT 2012 Challenge
   - Glucose 2.3 best SAT Solver 2013 (Applications, Certified UNSAT)

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

Contracts & Grants
   - MEDIAD