Järvisalo, Matti, University of Helsinki, Finland

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