Uni-Logo

Institut für Informatik
 

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)