1. Audemard, G., Simon, L.: Predicting learnt clauses quality in modern SAT solvers. In: IJCAI 2009, pp. 399–404 (July 2009)
2. Lecture Notes in Computer Science;T. Babiak,2013
3. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press (2008)
4. Lecture Notes in Computer Science;R. Bloem,1999
5. Lecture Notes in Artificial Intelligence;B. Boigelot,2001