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

  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

  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