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.

Program Visits