Automated Scheduling and Planning: From Theory to