Marius Lindauer

MaRDI QIDQ286384zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Automated Dynamic Algorithm Configuration Journal of Artificial Intelligence Research	2023-01-09	Paper
scientific article; zbMATH DE number 7625207 (Why is no real title available?) (available as arXiv preprint)	2022-11-29	Paper
scientific article; zbMATH DE number 7625207 (Why is no real title available?)	2022-11-29	Paper
scientific article; zbMATH DE number 7306922 (Why is no real title available?) (available as arXiv preprint)	2021-02-05	Paper
scientific article; zbMATH DE number 7306922 (Why is no real title available?)	2021-02-05	Paper
The algorithm selection competitions 2015 and 2017 Artificial Intelligence	2019-08-28	Paper
Pitfalls and best practices in algorithm configuration Journal of Artificial Intelligence Research	2019-05-17	Paper
Efficient benchmarking of algorithm configurators via model-based surrogates Machine Learning	2018-04-03	Paper
aspeed: solver scheduling via answer set programming Theory and Practice of Logic Programming	2017-11-09	Paper
Automatic construction of parallel portfolios via algorithm configuration Artificial Intelligence	2017-02-22	Paper
The configurable SAT solver challenge (CSSC) Artificial Intelligence	2017-01-05	Paper
SpyBug: automated bug detection in the configuration space of SAT solvers Theory and Applications of Satisfiability Testing – SAT 2016	2016-09-05	Paper
ASlib: a benchmark library for algorithm selection Artificial Intelligence	2016-05-20	Paper
SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers Lecture Notes in Computer Science	2015-11-20	Paper
<tt>claspfolio</tt>2: Advances in Algorithm Selection for Answer Set Programming Theory and Practice of Logic Programming	2014-11-25	Paper

Research outcomes over time

This page was built for person: Marius Lindauer