The Configurable SAT Solver Challenge (CSSC)

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

Published: 2017
Publication type: Article / Letter to editor

SATalgorithm configurationempirical algorithmicscompetitionAIsupervised learning

Date issued: 2017
Language: English
Is part of: Artificial Intelligence (2017), Vol. 243, p. 1-25
hdl: 1887/58334
doi: 10.1016/j.artint.2016.09.006
URL: https://www.sciencedirect.com/science/article/pii/S0004370216301138?via=ihub