Branching and pruning: An optimal temporal POCL planner based on constraint programming | Publicación