Uni-Logo

Institut für Informatik
 

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)