Roussel, Olivier, University of Artois, France

• AI Magazine Vol. 33 No. 1: Spring 2012 - Competition Reports
  The International SAT Solver Competitions
  Abstract  PDF