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.Recrutement (in french)
Offre de poste(s) d'ingénieur d'étude et/ou de recherche au CRIL (Lens) :- 12, 24 ou 36 mois, à démarrer entre Mars et Juillet 2012
- Entretiens (téléphoniques et/ou sur place) à partir de Février 2012
- Voir Annonce complète
Le financement sera assuré par OSEO dans le cadre d'un projet ISI (Innovation Stratégique Industrielle) auquel participent trois entreprises et trois laboratoires dont le CRIL. Le candidat sera intégré à l'équipe du CRIL travaillant sur ce projet afin de participer à l'effort actuel de recherche, développement et valorisation sur la thématique des problèmes de planification de ressources (avec des outils de programmation par contraintes autour de CSP et SAT).
News
- 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