Marius Lindauer
Marius Lindauer
Leibniz University Hannover (Germany)
Bestätigte E-Mail-Adresse bei tnt.uni-hannover.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Potassco: The Potsdam answer set solving collection
M Gebser, B Kaufmann, R Kaminski, M Ostrowski, T Schaub, M Schneider
AI Communications 24 (2), 107-124, 2011
4822011
Aslib: A benchmark library for algorithm selection
B Bischl, P Kerschke, L Kotthoff, M Lindauer, Y Malitsky, A Fréchette, ...
Artificial Intelligence 237, 41-58, 2016
1362016
A portfolio solver for answer set programming: Preliminary report
M Gebser, R Kaminski, B Kaufmann, T Schaub, MT Schneider, S Ziller
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
822011
AutoFolio: an automatically configured algorithm selector
M Lindauer, HH Hoos, F Hutter, T Schaub
Journal of Artificial Intelligence Research 53, 745-778, 2015
802015
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
H Hoos, M Lindauer, T Schaub
Theory and Practice of Logic Programming 14 (Special Issue 4-5), 569--585, 2014
602014
AClib: A benchmark library for algorithm configuration
F Hutter, M López-Ibánez, C Fawcett, M Lindauer, HH Hoos, ...
International Conference on Learning and Intelligent Optimization, 36-40, 2014
532014
Potassco User Guide
M Gebser, R Kaminski, B Kaufmann, M Lindauer, M Ostrowski, J Romero, ...
Institute for Informatics, University of Potsdam, second edition edition, 2015
49*2015
A case study of algorithm selection for the traveling thief problem
M Wagner, M Lindauer, M Mısır, S Nallaperuma, F Hutter
Journal of Heuristics, 1-26, 2017
482017
The configurable SAT solver challenge (CSSC)
F Hutter, M Lindauer, A Balint, S Bayless, H Hoos, K Leyton-Brown
Artificial Intelligence 243, 1-25, 2017
452017
aspeed: Solver scheduling via answer set programming
H HOOS, R KAMINSKI, M LINDAUER, T SCHAUB
Theory and Practice of Logic Programming, 1-26, 2014
43*2014
Practical automated machine learning for the automl challenge 2018
M Feurer, K Eggensperger, S Falkner, M Lindauer, F Hutter
International Workshop on Automatic Machine Learning at ICML, 1189-1232, 2018
362018
Centurio, a general game player: Parallel, Java-and ASP-based
M Möller, M Schneider, M Wegner, T Schaub
KI-Künstliche Intelligenz 25 (1), 17-24, 2011
362011
Warmstarting of model-based algorithm configuration
M Lindauer, F Hutter
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
332018
Smac v3: Algorithm configuration in python
M Lindauer, K Eggensperger, M Feurer, S Falkner, A Biedenkapp, ...
URL https://github. com/automl/SMAC3, 2017
312017
From Sequential Algorithm Selection to Parallel Portfolio Selection
M Lindauer, H Hoos, F Hutter
Proceedings of international Conference on Learning and Intelligent …, 2015
282015
Efficient benchmarking of algorithm configurators via model-based surrogates
K Eggensperger, M Lindauer, HH Hoos, F Hutter, K Leyton-Brown
Machine Learning, 1-27, 2018
262018
Robust benchmark set selection for boolean constraint solvers
HH Hoos, B Kaufmann, T Schaub, M Schneider
International Conference on Learning and Intelligent Optimization, 138-152, 2013
222013
Quantifying homogeneity of instance sets for algorithm configuration
M Schneider, H Hoos
Proceedings of the Sixth International Conference Learning and Intelligent …, 2012
222012
Best Practices for Scientific Research on Neural Architecture Search
M Lindauer, F Hutter
arXiv preprint arXiv:1909.02453, 2019
202019
Efficient Parameter Importance Analysis via Ablation with Surrogates.
A Biedenkapp, M Lindauer, K Eggensperger, F Hutter, C Fawcett, ...
AAAI, 773-779, 2017
202017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20