Centre de Recherche en Informatique de Lens
IUT de Lens, Rue de l'université, SP16
F 62307 Lens Cedex
mail : audemard [at] cril [dot] fr
phone : +33 (0)3 21 79 32 76
Research interest
My researches focus on satisfiabilty, quantified boolean formulas, finite model generation and SAT based problems.News
- Our SAT solver Glucose won the SAT Competition 09 in the Application (Industrial) UNSAT Track. It also has the silver medal in the SAT+UNSAT track (it solved the same number of benchmarks as precosat). Glucose is based on MiniSAT and developped by Laurent Simon and myself (see also the IJCAI'09 paper). Glucose home page is here.
- ANR UNLOC -- Local Search and Unsatisfiability -- started on 01/01/2009
- Jean Marie Lagniez started his PhD on september 2008. He works on local search for SAT and UNSAT
- Said Jabbour has defended his PhD
- SBP4QBF : a symmetry breaking preprocessor for QBF is available here (see also IJCAI07 paper)
Last modification: sept. 2009