Technical Reports from 2014

Here follows a list of all Technical Reports from 2014. By following the respective links, you can have a look at a report´s abstract or the pdf version. Generally, the abstracts are written in English, since most of the reports are in this language.

Report Nr.277, November 2014 (PDF)
Frank Hutter, Marius Lindauer, Sam Bayless, Holger Hoos, Kevin Leyton-Brown
Results of the Configurable SAT Solver Challenge 2014
Keywords: SAT solving, algorithm configuration
(Abstract)

Report Nr.276, November 2014 (PDF)
Frank Hutter, Adrian Balint, Sam Bayless, Holger Hoos, Kevin Leyton-Brown
Results of the Configurable SAT Solver Challenge 2013
Keywords: SAT solving, algorithm configuration
(Abstract)