AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract)

Research output: Chapter in book/report/conference proceedingConference abstractResearchpeer review

Authors

External Research Organisations

  • University of Freiburg
  • University of British Columbia
  • University of Potsdam
View graph of relations

Details

Original languageEnglish
Title of host publicationInternational Joint Conference on Artificial Intelligence (IJCAI 2017)
EditorsCarles Sierra
Pages5025-5029
Number of pages5
ISBN (electronic)9780999241103
Publication statusPublished - 2017
Externally publishedYes
Event26th International Joint Conference on Artificial Intelligence, IJCAI 2017 - Melbourne, Australia
Duration: 19 Aug 201725 Aug 2017

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.

ASJC Scopus subject areas

Cite this

AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract). / Lindauer, Marius; Hutter, Frank; Hoos, Holger H. et al.
International Joint Conference on Artificial Intelligence (IJCAI 2017). ed. / Carles Sierra. 2017. p. 5025-5029.

Research output: Chapter in book/report/conference proceedingConference abstractResearchpeer review

Lindauer, M, Hutter, F, Hoos, HH & Schaub, T 2017, AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract). in C Sierra (ed.), International Joint Conference on Artificial Intelligence (IJCAI 2017). pp. 5025-5029, 26th International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, 19 Aug 2017. <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>
Lindauer M, Hutter F, Hoos HH, Schaub T. AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract). In Sierra C, editor, International Joint Conference on Artificial Intelligence (IJCAI 2017). 2017. p. 5025-5029
Lindauer, Marius ; Hutter, Frank ; Hoos, Holger H. et al. / AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract). International Joint Conference on Artificial Intelligence (IJCAI 2017). editor / Carles Sierra. 2017. pp. 5025-5029
Download
@inbook{02689f1347084bf6a0a08ba5048a48c1,
title = "AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract)",
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.",
author = "Marius Lindauer and Frank Hutter and Hoos, {Holger H.} and Torsten Schaub",
year = "2017",
language = "English",
pages = "5025--5029",
editor = "Carles Sierra",
booktitle = "International Joint Conference on Artificial Intelligence (IJCAI 2017)",
note = "26th International Joint Conference on Artificial Intelligence, IJCAI 2017 ; Conference date: 19-08-2017 Through 25-08-2017",

}

Download

TY - CHAP

T1 - AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract)

AU - Lindauer, Marius

AU - Hutter, Frank

AU - Hoos, Holger H.

AU - Schaub, Torsten

PY - 2017

Y1 - 2017

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85031897375&partnerID=8YFLogxK

M3 - Conference abstract

SP - 5025

EP - 5029

BT - International Joint Conference on Artificial Intelligence (IJCAI 2017)

A2 - Sierra, Carles

T2 - 26th International Joint Conference on Artificial Intelligence, IJCAI 2017

Y2 - 19 August 2017 through 25 August 2017

ER -

By the same author(s)