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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marius Lindauer