The Configurable SAT Solver Challenge (CSSC)

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

Article / Letter to editor

• SAT
• algorithm configuration
• empirical algorithmics
• competition
• AI
• 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
• Link: https://www.sciencedirect.com/science/article/pii/S0004370216301138?via=...