SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers.

Stefan Falkner, Marius Lindauer, Frank Hutter

Browse the full SAT paper archive.