Veranstaltungen 2010

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

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

Veranstaltungen 2008

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