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 77
Research interest
My researches focus on satisfiabilty, quantified boolean formulas, finite model generation and SAT based problems.PhD Grant
A PhD Grant, supported by OSEO, at CRIL (Lens, France) in Constraint Programming is available. See the associated proposal.
News
- Take a look to PeneLoPe, a new parallel SAT solver.
- Benoit Hoessen starts his PhD. He works on parallel SAT solving.
- Jean Marie Lagniez has defended his PhD on december, 6th.
- Version 2 of Glucose is now available
- Our SAT solver Glucose obtained several medals at SAT 2011 competition: First on SAT+UNSAT, second on UNSAT in application category and Third on UNSAT in crafted category
- Our paper "On freezeing and reactivating learnt clauses" has received the best paper award at SAT 2011 conference
- I defended my "Habilitation" on november 2010. See my report and slides (in french) here
Last modification: jan. 2012