Introduction to planning and scheduling