Published June 27, 2024 | Version CP2024
Software Open

ciaranm/cp2024-dynamic-programming-supplement: CP2024

  • 1. University of Glasgow

Description

Supplemental material for "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, and Konstantin Sidorov, CP2024.

Files

ciaranm/cp2024-dynamic-programming-supplement-CP2024.zip

Files (409.7 kB)

Additional details