Automatic Polytime Reductions of NP Problems into a Fragment of STRIPS

Open in new window