 |
 |
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
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
|
