Return to Article Details Automatic Polytime Reductions of NP Problems into a Fragment of STRIPS Download Download PDF