×

Paramils

swMATH ID: 678
Software Authors: Hutter, F.; Hoos, H.H.; Leyton-Brown, K.; Stuetzle, T.
Description: Paramils: an automatic algorithm configuration framework. The identification of performance-optimizing parameter settings is an important part of the development and application of algorithms. We describe an automatic framework for this algorithm configuration problem. More formally, we provide methods for optimizing a target algorithm’s performance on a given class of problem instances by varying a set of ordinal and/or categorical parameters. We review a family of local-search-based algorithm configuration procedures and present novel techniques for accelerating them by adaptively limiting the time spent for evaluating individual configurations. We describe the results of a comprehensive experimental evaluation of our methods, based on the configuration of prominent complete and incomplete algorithms for SAT. We also present what is, to our knowledge, the first published work on automatically configuring the CPLEX mixed integer programming solver. All the algorithms we considered had default parameter settings that were manually identified with considerable effort. Nevertheless, using our automated algorithm configuration procedures, we achieved substantial and consistent performance improvements.
Homepage: http://www.cs.ubc.ca/labs/beta/Projects/ParamILS/
Keywords: algorithm configuration problem
Related Software: SMAC; irace; SATzilla; SATenstein; MiniSat; SPOT; Auto-WEKA; UBCSAT; Hyperheuristics; Lingeling; AClib; Plingeling; ASlib; Treengeling; Runsolver; GitHub; Sat4j; CPLEX; Gurobi; DIMACS
Referenced in: 74 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
Paramils: an automatic algorithm configuration framework. Zbl 1192.68831
Hutter, F.; Hoos, H. H.; Leyton-Brown, K.; Stuetzle, T.
2009
all top 5

Referenced by 182 Authors

11 Hoos, Holger H.
8 Hutter, Frank
8 Lindauer, Marius
7 Leyton-Brown, Kevin
7 Stützle, Thomas G.
3 Ansótegui, Carlos
3 Burke, Edmund Kieran
3 López-Ibáñez, Manuel
3 Ochoa, Gabriela
2 Balint, Adrian
2 Cai, Shaowei
2 Eggensperger, Katharina
2 Franzin, Alberto
2 Kerschke, Pascal
2 Luo, Chuan
2 Malitsky, Yuri
2 Manthey, Norbert
2 Pérez Cáceres, Leslie
2 Pon, Josep
2 Schaub, Torsten H.
2 Sellmann, Meinolf
2 Smith-Miles, Kate A.
2 Soria-Alcaraz, Jorge A.
2 Su, Kaile
2 Tierney, Kevin
2 Tompkins, Dave A. D.
2 Vallati, Mauro
1 Adamo, Tommaso
1 Akartunalı, Kerem
1 Alem, Douglas José
1 Alfaro-Fernández, Pedro
1 Amadini, Roberto
1 Arbelaez, Alejandro
1 Aspar, Pelin
1 Baatar, Davaatseren
1 Balesdent, Mathieu
1 Baratchi, Mitra
1 Barbosa, Eduardo Batista de Moraes
1 Bartz-Beielstein, Thomas
1 Bayless, Sam
1 Beiranvand, Vahid
1 Bertsimas, Dimitris John
1 Bezerra, Leonardo C. T.
1 Binkele-Raible, Daniel
1 Birattari, Mauro
1 Bischl, Bernd
1 Borrajo, Daniel
1 Bowly, Simon
1 Carpio, Martin
1 Cerutti, Federico
1 Chrpa, Lukáš
1 Corazza, Marco
1 de Oliveira, Sabrina M.
1 Deutz, André H.
1 di Tollo, Giacomo
1 Diaz, Juan Esteban
1 Domshlak, Carmel
1 Dorigo, Marco
1 Emmerich, Michael T. M.
1 Erdélyi, Gábor
1 Falkner, Stefan
1 Fasano, Giovanni
1 Feng, Zuren
1 Fernau, Henning
1 Fréchette, Alexandre
1 Gabàs, Joel
1 Gabbrielli, Maurizio
1 Ghiani, Gianpaolo
1 Giacomin, Massimiliano
1 Gnad, Daniel
1 Goldsmith, Judy
1 Grieco, Antonio
1 Grimme, Christian
1 Gualandi, Stefano
1 Guerriero, Emanuela
1 Hadiji, Fabian
1 Hall, George T.
1 Hare, Warren L.
1 Herold, Michael B.
1 Hodashinsky, I. A.
1 Hoffmann, Jörg
1 Huang, Wenxuan
1 Huber, Marco F.
1 Humeau, Jérémie
1 Hyde, Mathew R.
1 Inala, Jeevana Priya
1 Jacquemart, Damien
1 Jarvis, Padraigh
1 Kaminski, Roland
1 Karapetyan, Daniel
1 Karbowska-Chilinska, Joanna
1 Karpas, Erez
1 Ke, Liangjun
1 Kendall, Graham
1 Kersting, Kristian
1 KhudaBukhsh, Ashiqur R.
1 Kochemazov, Stepan
1 Koszelew, Jolanta
1 Kotthoff, Lars
1 Kristiansen, Simon
...and 82 more Authors
all top 5

Referenced in 23 Serials

11 Artificial Intelligence
8 Computers & Operations Research
7 European Journal of Operational Research
4 The Journal of Artificial Intelligence Research (JAIR)
4 Journal of Heuristics
3 Machine Learning
2 Journal of Automated Reasoning
2 Annals of Operations Research
2 Annals of Mathematics and Artificial Intelligence
2 Constraints
1 Information Sciences
1 International Journal of Approximate Reasoning
1 Journal of Global Optimization
1 Automation and Remote Control
1 Computational Statistics and Data Analysis
1 Data Mining and Knowledge Discovery
1 Optimization and Engineering
1 Theory and Practice of Logic Programming
1 Discrete Optimization
1 Studies in Computational Intelligence
1 Optimization Letters
1 Mathematical Programming Computation
1 Journal of Optimization
all top 5

Referenced in 6 Fields

49 Computer science (68-XX)
32 Operations research, mathematical programming (90-XX)
4 Statistics (62-XX)
2 Numerical analysis (65-XX)
1 Mathematical logic and foundations (03-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Referencing Publications by Year