• Introduction
• Rules
• Important Dates
• Solvers
• Results
• Discussion
• Downloads
• Contact / Organizers
• Support

Support

The SAT-Challenge 2012 would not be possible without external support. We want to give credits to...

• EDACC ...for the benchmarking infrastructure.
• bwGRiD...for the compute cluster on which we run SAT Challenge 2012.