SAT Challenge 2012
Contact / Organizers
The SAT-Challenge 2012 would not be possible without external support. We want to give credits to...
...for the benchmarking infrastructure.
...for the compute cluster on which we run SAT Challenge 2012.
This site is hosted by Karlsruhe Institute of Technology (KIT), Germany
back to top