Leiden University Scholarly Publications

Persistent URL of this record https://hdl.handle.net/1887/58334

View statistics

In Collections

This item can be found in the following collections:

Leiden Institute of Advanced Computer Science (LIACS)

The Configurable SAT Solver Challenge (CSSC)

Hutter, F.; Lindauer, M.; Balint, A.; Bayless, S.; Hoos, H.H.; Leyton-Brown, K. (2017)

The Configurable SAT Solver Challenge (CSSC)

Article / Letter to editor

algorithm configuration

empirical algorithmics

supervised learning

All authors: Hutter, F.; Lindauer, M.; Balint, A.; Bayless, S.; Hoos, H.H.; Leyton-Brown, K.

Date: 2017

Journal: Artificial Intelligence

Volume: 243

Pages: 1 - 25

DOI: doi:10.1016/j.artint.2016.09.006

Link: https://www.sciencedirect.com/science/article/pii/S0004370216301138?via=...