Published June 27, 2024
| Version CP2024
Software
Open
ciaranm/cp2024-dynamic-programming-supplement: CP2024
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)
Name | Size | Download all |
---|---|---|
md5:c30c1789150e3a28f99e3f5c7a51add7
|
409.7 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/ciaranm/cp2024-dynamic-programming-supplement/tree/CP2024 (URL)