Login / Signup
Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms.
Emir Demirovic
Ciaran McCreesh
Matthew J. McIlree
Jakob Nordström
Andy Oertel
Konstantin Sidorov
Published in:
CP (2024)
Keyphrases
</>
dynamic programming
data structure
optimization problems
orders of magnitude
computational efficiency
computational complexity
objective function
evolutionary algorithm
efficient computation
combinatorial problems
pseudo boolean