Dover Publications, 1995. — 285 p. — (Dover Books on Mathematics; EBL-Schweitzer). — ISBN 9780486284330.
Seven problem-solving techniques include inference, classification of action sequences, subgoals, contradiction, working backward, relations between problems, and mathematical representation. Also, problems from mathematics, science, and engineering with complete solutions.
Problem Theory
Inference
Classification of Action Sequences
State Evaluation and Hill Climbing
Subgoals
Contradiction
Working Backward
Relations Between Problems
Topics in Mathematical Representation
Problems from Mathematics, Science, and Engineering