Categories
recording

Automatic Reductions from PH into STRIPS or How to Generate Short Problems with Very Long Solutions