Means-ends analysis
A heuristic search strategy that identifies differences between the current state and the goal state, then applies operators to reduce those differences. Implemented in Simon and Newell's General Problem Solver, it is one of the most general and widely applicable problem-solving methods.