1. Biere, A., Cimatti, A., Clarke, E., Fujita, M., Zhu, Y.: Symbolic model checking using SAT procedures instead of BDDs. In: Irwin, M.J. (ed.) Proc. of the 36th Annual ACM/IEEE Design Automation Conference, pp. 317–320. ACM (1999)
2. Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.): Handbook of Satisfiability, Frontiers in Artificial Intelligence and Applications, vol. 185. IOS Press (2009)
3. Blazewicz, J., Ecker, K.H., Pesch, E., Schmidt, G., Weglarz, J. (eds.): Handbook on Scheduling: From Theory to Applications. Springer (2007)
4. Brucker, P.: Scheduling Algorithms. Springer (2007)
5. Lecture Notes in Computer Science;N. Eén,2004