Complexity of Scheduling Charging in the Smart Grid. - Mathijs de Weerdt; Michael Albert 002; Vincent Conitzer; Koos van der Linden (IJCAI, 2018)

Benchmarking Flexible Electric Loads Scheduling Algorithms under Market Price Uncertainty. - Koos van der Linden; Natalia Romero; Mathijs Michiel de Weerdt (CoRR, 2020)

Train Unit Shunting and Servicing: a Real-Life Application of Multi-Agent Path Finding. - Jesse Mulderij; Bob Huisman; Denise D. Tönissen; Koos van der Linden; Mathijs de Weerdt (CoRR, 2020)

TORS: A Train Unit Shunting and Servicing Simulator. - Jacobus G. M. van der Linden; Jesse Mulderij; Bob Huisman; Joris W. den Ouden; Marjan van den Akker 001; Han Hoogeveen; Mathijs Michiel de Weerdt (AAMAS, 2021)

Fair and Optimal Decision Trees: A Dynamic Programming Approach. - Jacobus G. M. van der Linden; Mathijs de Weerdt; Emir Demirovic (NeurIPS, 2022)

Necessary and Sufficient Conditions for Optimal Decision Trees using Dynamic Programming. - Jacobus G. M. van der Linden; Mathijs de Weerdt; Emir Demirovic (NeurIPS, 2023)

Optimal Decision Trees for Separable Objectives: Pushing the Limits of Dynamic Programming. - Jacobus G. M. van der Linden; Mathijs Michiel de Weerdt; Emir Demirovic (CoRR, 2023)

Optimal Survival Trees: A Dynamic Programming Approach. - Tim Huisman; Jacobus G. M. van der Linden; Emir Demirovic (AAAI, 2024)

Piecewise Constant and Linear Regression Trees: An Optimal Dynamic Programming Approach. - Mim van den Bos; Jacobus G. M. van der Linden; Emir Demirovic (ICML, 2024)

Optimal or Greedy Decision Trees? Revisiting their Objectives, Tuning, and Performance. - Jacobus G. M. van der Linden; Daniël Vos; Mathijs Michiel de Weerdt; Sicco Verwer; Emir Demirovic (CoRR, 2024)

How To Discover Short, Shorter, and the Shortest Proofs of Unsatisfiability: A Branch-and-Bound Approach for Resolution Proof Length Minimization. - Konstantin Sidorov; Koos van der Linden; Gonçalo Homem de Almeida Correia; Mathijs de Weerdt; Emir Demirovic (CoRR, 2024)

Optimal Classification Trees for Continuous Feature Data Using Dynamic Programming with Branch-and-Bound. - Catalin E. Brita; Jacobus G. M. van der Linden; Emir Demirovic (AAAI, 2025)