Categories
recording

Automatic Polytime Reductions of NP Problems into a Fragment of STRIPS