Gilles Audemard - Home page

me
Associate professor

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.

News

Awards

Best paper award

SAT Challenge 2012

SAT competition 2011

SAT competition 2009

Last modification: may 2013