Planning, Scheduling and Constraint Satisfaction: From Theory to Practice (Frontiers in Artificial Intelligence and Applications)