Events in 2010

SAT-Race 2010 (in affiliation with FLoC/SAT'10)

Workshop on Propositional Proof Complexity (in affiliation with FLoC/SAT'10)

Events in 2008

SAT-Race 2008 (in affiliation with SAT'08)