Under-approximation refinement for classical planning
The FF Planning System: Fast Plan Generation Through Heuristic Search