PPaperPicks

Mathijs de Weerdt

3 papers at tracked venues · 3 at CORE A* · active 20242025

Venues

Frequent coauthors

Kim van den Houten
×1
Konstantin Sidorov
×1

Papers

  1. Proactive and Reactive Constraint Programming for Stochastic Project Scheduling with Maximal Time-Lags
  2. Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths
  3. To the Max: Reinventing Reward in Reinforcement Learning