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

Emir Demirovic, Ciaran McCreesh, Matthew J. McIlree, Jakob Nordstrm, Andy Oertel, Konstantin Sidorov

Browse the full CP paper archive.