Author:
Publication: Artificial Intelligence
ASlib: A benchmark library for algorithm selection
The QBF Gallery: Behind the scenes