Publications

• 2024

  A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers

  Maarten Flippo / Konstantin Sidorov / Imko Marijnissen / Jeff Smits / Emir Demirović

• 2024

  Optimal Survival Trees

  A Dynamic Programming Approach
  Tim Huisman / Jacobus G.M. van der Linden / Emir Demirović

• 2024

  Paths, Proofs, and Perfection

  Developing a Human-Interpretable Proof System for Constrained Shortest Paths
  Konstantin Sidorov / Gonçalo Homem de Almeida Correia / Mathijs de Weerdt / Emir Demirović

• 2024

  Piecewise Constant and Linear Regression Trees

  An Optimal Dynamic Programming Approach
  Mim van den Bos / Jacobus G.M. van der Linden / Emir Demirović

• 2024

  Pseudo-Boolean Reasoning about States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms

  Emir Demirović / Ciaran McCreesh / Matthew J. McIlree / Jakob Nordström / Andy Oertel / Konstantin Sidorov

• More publications