Leiden University Scholarly Publications

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

In Collections

This item can be found in the following collections:

Lindauer, M.; Hutter, F.; Hoos, H.H.; Schaub, T. (2017)

AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract)

Article in monograph or in proceedings
SAT
empirical algorithmics
AI
algorithm selection
ASP
MAX-SAT
CSP
QBF
All authors
Lindauer, M.; Hutter, F.; Hoos, H.H.; Schaub, T.
Date
2017
Title of host publication
Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI-17)
Pages
5025 - 5029
Publisher
International Joint Conferences on Artificial Inteligence Organization