×

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; SPOT; SATenstein; MiniSat; Auto-WEKA; AClib; UBCSAT; Spearmint; Lingeling; Hyperheuristics; Hyperopt; TSPLIB; GitHub; Plingeling; PyTorch; MIPLIB; Treengeling; Runsolver
Cited in: 101 Documents
all top 5

Cited by 259 Authors

12 Hoos, Holger H.
8 Hutter, Frank
8 Lindauer, Marius
7 Leyton-Brown, Kevin
7 Stützle, Thomas G.
4 Ansótegui, Carlos
4 Ochoa, Gabriela
3 Adamo, Tommaso
3 Burke, Edmund Kieran
3 Ghiani, Gianpaolo
3 Guerriero, Emanuela
3 López-Ibáñez, Manuel
3 Manni, Emanuele
3 Pon, Josep
3 Saubion, Frédéric
3 Sellmann, Meinolf
2 Balint, Adrian
2 Cai, Shaowei
2 Eggensperger, Katharina
2 Franzin, Alberto
2 Gabrys, Bogdan
2 Kedziora, David Jacob
2 Kerschke, Pascal
2 Luo, Chuan
2 Malitsky, Yuri
2 Manthey, Norbert
2 Musiał, Katarzyna
2 Pagnozzi, Federico
2 Pérez Cáceres, Leslie
2 Sahinidis, Nikolaos V.
2 Schaub, Torsten H.
2 Smith-Miles, Kate A.
2 Soria-Alcaraz, Jorge A.
2 Su, Kaile
2 Tierney, Kevin
2 Tompkins, Dave A. D.
2 Vallati, Mauro
2 Verel, Sebastien
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 Bartz-Beielstein, Thomas
1 Bassin, A. O.
1 Bayless, Sam
1 Beiranvand, Vahid
1 Berden, Senne
1 Bertsimas, Dimitris John
1 Bezerra, Leonardo C. T.
1 Binkele-Raible, Daniel
1 Birattari, Mauro
1 Bischl, Bernd
1 Bleukx, Ignace
1 Borrajo, Daniel
1 Bowly, Simon
1 Buzdalov, M. V.
1 Carpio, Martin
1 Cartis, Coralia
1 Castro, Carlos
1 Cerutti, Federico
1 Chmiela, Antonia
1 Chrpa, Lukáš
1 Coenen, Lize
1 Contreras-Bolton, Carlos
1 Corazza, Marco
1 Dakle, Parag Pravin
1 de Campos Merschmann, Luiz Henrique
1 de Oliveira, Sabrina M.
1 Decleyre, Nicholas
1 Deutz, André H.
1 di Tollo, Giacomo
1 Diamantini, Claudia
1 Diaz, Juan Esteban
1 Dilkina, Bistra
1 Domshlak, Carmel
1 Dong, Xuanyi
1 Dorigo, Marco
1 Elhachemi, Nizar
1 Elhallaoui, Issmail
1 Emmerich, Michael T. M.
1 Er Raqabi, El Mehdi
1 Erdélyi, Gábor
1 Falkner, Stefan
1 Fasano, Giovanni
1 Feng, Zuren
1 Ferber, Aaron
1 Fernau, Henning
1 Fréchette, Alexandre
1 Gabàs, Joel
1 Gabbrielli, Maurizio
1 Galarza Montenegro, Bryan David
1 Gálvez Ramírez, Nicolás
1 Giacomin, Massimiliano
1 Gleixner, Ambros M.
1 Gnad, Daniel
...and 159 more Authors

Citations by Year