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
