a problem-resolution method wherein the solver starts at the objective state and tries to discover a passage back to the problem
a problem-resolution method wherein the solver starts at the objective state and tries to discover a passage back to the problem