AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract)

Author(s):
Lindauer, M.; Hutter, F.; Hoos, H.H.; Schaub, T.
Published
2017
Publication type
Article in monograph or in proceedings
SATempirical algorithmicsAIalgorithm selectionASPMAX-SATCSPQBF
Date issued
2017
Publisher
International Joint Conferences on Artificial Inteligence Organization
Is part of
Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI-17) (2017), p. 5025-5029
hdl
1887/58272