AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract)

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

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.
• Editor(s): Sierra C.
• Date: 2017
• Title of host publication: Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI-17)
• Pages: 5025 - 5029
• DOI: doi:10.24963/ijcai.2017/715
• Link: https://www.ijcai.org/proceedings/2017/715
• Conference: The 26th International Joint Conference on Artificial Intelligence (IJCAI 2017)
• Date: 2017-08-19 - 2017-08-25
• Location: Melbourne, Australia