← Search

Mathijs de Weerdt

4 accepted papers

2025

Proactive and Reactive Constraint Programming for Stochastic Project Scheduling with Maximal Time-Lags

AAAI 2025technical

This study investigates scheduling strategies for the stochastic resource-constrained project scheduling problem with maximal time lags (SRCPSP/max). Recent advances in Constraint Programming (CP) and Temporal Networks have re-invoked interest in evaluating the advantages and drawbacks of various pr…

2024

Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths

AAAI 2024technical

People want to rely on optimization algorithms for complex decisions but verifying the optimality of the solutions can then become a valid concern, particularly for critical decisions taken by non-experts in optimization. One example is the shortest-path problem on a network, occurring in many conte…

Cited by 1SourcePDFScholar
2024

To the Max: Reinventing Reward in Reinforcement Learning

ICML 2024poster

In reinforcement learning (RL), different reward functions can define the same optimal policy but result in drastically different learning performance. For some, the agent gets stuck with a suboptimal behavior, and for others, it solves the task efficiently. Choosing a good reward function is hence…

2023

Necessary and Sufficient Conditions for Optimal Decision Trees using Dynamic Programming

NeurIPS 2023poster

Global optimization of decision trees has shown to be promising in terms of accuracy, size, and consequently human comprehensibility. However, many of the methods used rely on general-purpose solvers for which scalability remains an issue. Dynamic programming methods have been shown to scale much b…