HWMCC'10
Benchmarks
Organizers
Results
Rules
Organization
Chairs
Armin Biere
(Johannes Kepler University, Linz, Austria)
Koen Lindström Claessen
(Chalmers University, Gothenburg, Sweden)