1. Russel, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 3rd edn. Prentice Hall, Upper Saddle River (2010)
2. Smith, D.E., Frank, J., Jónsson, A.K.: Bridging the gap between planning and scheduling. Knowl. Eng. Rev. 15(1), 47–83 (2000)
3. Blum, A., Furst, M.: Fast planning through planning graph analysis. Artif. Intell. 90, 281–300 (1997)
4. Rintanen, J.: Planning and SAT. In: Biere, A., van Maaren, H., Heule, M., Walsh, T. (eds.) Handbook of Satisfiability, pp. 483–504. IOS Press, Amsterdam (2009)
5. Steger-Jensen, K., Hvolby, H.-H., Nielsen, P., Nielsen, I.: Advanced planning and scheduling technology. Prod. Planning Control 22(8), 800–808 (2011)