Marius Lindauer
Marius Lindauer
University of Freiburg/Hannover
Bestätigte E-Mail-Adresse bei tnt.uni-hannover.de - Startseite
TitelZitiert vonJahr
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
4452011
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
972016
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
772011
AutoFolio: an automatically configured algorithm selector
M Lindauer, HH Hoos, F Hutter, T Schaub
Journal of Artificial Intelligence Research 53, 745-778, 2015
572015
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
542014
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
41*2015
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
412014
aspeed: Solver scheduling via answer set programming
H HOOS, R KAMINSKI, M LINDAUER, T SCHAUB
Theory and Practice of Logic Programming, 1-26, 2014
37*2014
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
362017
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
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
352017
From Sequential Algorithm Selection to Parallel Portfolio Selection
M Lindauer, H Hoos, F Hutter
Proceedings of international Conference on Learning and Intelligent …, 2015
262015
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
212018
Quantifying homogeneity of instance sets for algorithm configuration
M Schneider, H Hoos
Proceedings of the Sixth International Conference Learning and Intelligent …, 2012
212012
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
192018
Smac v3: Algorithm configuration in python
M Lindauer, K Eggensperger, M Feurer, S Falkner, A Biedenkapp, ...
192017
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
182013
Efficient parameter importance analysis via ablation with surrogates
A Biedenkapp, M Lindauer, K Eggensperger, F Hutter, C Fawcett, H Hoos
Thirty-First AAAI Conference on Artificial Intelligence, 2017
172017
Warmstarting of model-based algorithm configuration
M Lindauer, F Hutter
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
162018
CryptoMiniSat v4, tuned version
M Soos, M Lindauer
SAT COMPETITION 2014, 24, 2014
15*2014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20