Marius Lindauer

Available identifiers

zbMath Open lindauer.mariusDBLP28/9142WikidataQ93452534 ScholiaQ93452534MaRDI QIDQ286384

List of research outcomes

Publication	Date of Publication	Type
Automated Dynamic Algorithm Configuration	2023-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q5054669	2022-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q5149039	2021-02-05	Paper
The algorithm selection competitions 2015 and 2017	2019-08-28	Paper
Pitfalls and Best Practices in Algorithm Configuration	2019-05-17	Paper
Efficient benchmarking of algorithm configurators via model-based surrogates	2018-04-03	Paper
aspeed: Solver scheduling via answer set programming	2017-11-09	Paper
Automatic construction of parallel portfolios via algorithm configuration	2017-02-22	Paper
The configurable SAT solver challenge (CSSC)	2017-01-05	Paper
SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers	2016-09-05	Paper
ASlib: a benchmark library for algorithm selection	2016-05-20	Paper
SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers	2015-11-20	Paper
claspfolio2: Advances in Algorithm Selection for Answer Set Programming	2014-11-25	Paper

Research outcomes over time

This page was built for person: Marius Lindauer