Heuristics for Planning with SAT and Expressive Action Definitions

Open in new window