Gilles Audemard - Home page

me
Assistant 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 76

Research interest

My researches focus on satisfiabilty, quantified boolean formulas, finite model generation and SAT based problems.

News

Last modification: sept. 2009