Conference Proceedings

Automating Branch-and-Bound for Dynamic Programs

Jakob Puchinger, Peter J Stuckey

PEPM '08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation | ASSOC COMPUTING MACHINERY | Published : 2008