SAT Challenge 2012
Introduction
Rules
Important Dates
Solvers
Results
Discussion
Downloads
Contact / Organizers
Support
Discussion
We have set up two google groups to discuss the results of SAT Challenge 2012:
SAT Challenge 2012 Google Group
EDACC Google Group
