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