16255<>3390_0<>nulo<>a machine-oriented logic based on the resolution principle<>jacm<>john alan robinson<>
27017<>4105_6<>michael held<>the construction of discrete dynamic programming algorithms<>ibmsj<>richard m. karp<>
