Necessary and sufficient conditions for dynamic programming of combinatorial type (1970)

by P Bonzon
Venue:Journal of the ACM