AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract)

Author(s):
Lindauer, M.; Hutter, F.; Hoos, H.H. (0000-0003-0629-0099); Schaub, T.
Editor(s):
Sierra C.
Published
2017
Publication type
Article in monograph or in proceedings
SATempirical algorithmicsAIalgorithm selectionASPMAX-SATCSPQBF
Date issued
2017
Language
English
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/58337
doi
10.24963/ijcai.2017/715
URL
https://www.ijcai.org/proceedings/2017/715

Conference

Meeting name
The 26th International Joint Conference on Artificial Intelligence (IJCAI 2017)
Meeting location
Melbourne, Australia
Meeting date
2017-08-19 - 2017-08-25