The Configurable SAT Solver Challenge (CSSC)

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

Published: 2017
Publication type: Article / Letter to editor

SATalgorithm configurationempirical algorithmicscompetitionAIsupervised learning

Date issued: 2017
Is part of: Artificial Intelligence (2017), Vol. 243, p. 1-25
hdl: 1887/58269
URL: https://www.sciencedirect.com/science/article/pii/S0004370216301138?via=ihub