Gilles Audemard
Professor, Universite d'Artois
Gilles Audemard is a Professor at the Universite d'Artois. His research interests are satisfiabilty, quantified boolean formulas, SAT based problems and constraint satisfaction problems.