Lars Kotthoff

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
Improving the computational efficiency of stochastic programs using automated algorithm configuration: an application to decentralized energy systems Annals of Operations Research	2025-12-19	Paper
An empirical assessment of progress in automated theorem proving	2025-01-31	Paper
scientific article; zbMATH DE number 7415127 (Why is no real title available?)	2021-10-27	Paper
Algorithm selection for combinatorial search problems: a survey Data Mining and Constraint Programming	2021-05-20	Paper
Advanced Portfolio Techniques Data Mining and Constraint Programming	2021-05-20	Paper
FlexiBO: A Decoupled Cost-Aware Multi-Objective Optimization Approach for Deep Neural Networks	2020-01-17	Paper
The algorithm selection competitions 2015 and 2017 Artificial Intelligence	2019-08-28	Paper
mlr: machine learning in \(\mathbf R\) Journal of Machine Learning Research (JMLR)	2016-11-22	Paper
ASlib: a benchmark library for algorithm selection Artificial Intelligence	2016-05-20	Paper
Hybrid regression-classification models for algorithm selection	2015-12-11	Paper
A framework for large-scale distributed AI search across disconnected heterogeneous infrastructures	2012-09-16	Paper

Research outcomes over time

This page was built for person: Lars Kotthoff