Technical Report No. 276 - Abstract
Frank Hutter, Adrian Balint, Sam Bayless, Holger Hoos, Kevin Leyton-Brown
Results of the Configurable SAT Solver Challenge 2013
In this document, we describe the results of the Configurable SAT Solver Challenge (CSSC) 2013.
Report No. 276 (PDF)