Configurable SAT Solver Challenge (CSSC) 2014

Legal notice

This site is maintained by the Research Group on Learning, Optimization, and Automated Algorithm Design at Freiburg University. Please send any questions, concerns or comments to Frank Hutter.

The website is hosted by the University of Freiburg. You can find its official legal notice here.