Additional Key Words and Phrases: AND/OR series-parallel graphs, optimal solutions, problem-solving, sum-cost, max-cost, s-p decomposable, hyper-series-parallel graphs, dynamic programming, branch-and-bound approach
Selected references
- James R. Slagle and Philip Bursky. Experiments with a multipurpose, theorem-proving heuristic program. Journal of the ACM, 15(1):85-99, January 1968.
- James R. Slagle and John K. Dixon. Experiments with some programs that search game trees. Journal of the ACM, 16(2):189-207, April 1969.