Return to Article Details Automatic Reductions from PH into STRIPS or How to Generate Short Problems with Very Long Solutions Download Download PDF