Under-approximation refinement for classical planning
Planning as Heuristic Search