Simon, Laurent, University of Paris-Sud, France

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