Return to Article Details Heuristics for Planning with SAT and Expressive Action Definitions Download Download PDF