Automated scheduling and planning : from theory to practice - Uyar, A. Sima,; Ozcan, Ender,; Urquhart, Neil, (Springer, 2013)