AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract)

verfasst von

Marius Lindauer, Frank Hutter, Holger H. Hoos, Torsten Schaub

Abstract

Algorithm selection (AS) techniques - which involve choosing from a set of algorithms the one expected to solve a given problem instance most efficiently - have substantially improved the state of the art in solving many prominent AI problems, such as SAT, CSP, ASP, MAXSAT and QBF. Although several AS procedures have been introduced, not too surprisingly, none of them dominates all others across all AS scenarios. Furthermore, these procedures have parameters whose optimal values vary across AS scenarios. In this extended abstract of our 2015 JAIR article of the same title, we summarize AUTOFOLIO, which uses an algorithm configuration procedure to automatically select an AS approach and optimize its parameters for a given AS scenario. AUTOFOLIO allows researchers and practitioners across a broad range of applications to exploit the combined power of many different AS methods and to automatically construct high-performance algorithm selectors. We demonstrate that AUTOFOLIO was able to produce new state-of-the-art algorithm selectors for 7 well-studied AS scenarios and matches state-oftheart performance statistically on all other scenarios. Compared to the best single algorithm for each AS scenario, AUTOFOLIO achieved average speedup factors between 1:3 and 15:4.

Externe Organisation(en)

Albert-Ludwigs-Universität Freiburg
University of British Columbia
Universität Potsdam

Typ

Abstract in Konferenzband

Seiten

5025-5029

Anzahl der Seiten

5

Publikationsdatum

2017

Publikationsstatus

Veröffentlicht

Peer-reviewed

Ja

ASJC Scopus Sachgebiete

Artificial intelligence

Elektronische Version(en)

https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=&ved=2ahUKEwjo2uHc_87qAhVpzMQBHf2lDTwQFjABegQIAxAB&url=https%3A%2F%2Fwww.ijcai.org%2FProceedings%2F2017%2F0715.pdf&usg=AOvVaw1ART0bWLbCU4uLc4oV19yv (Zugang: Unbekannt)