1. D. E. Knuth and D. J. Fuller, Art of Computer Programming, Vol. 4A: The Combinatorial Algorithms, Part 1 (Addison-Wesley, Reading, MA, 2011).
2. Yu. G. Karpov, Model Checking. Verification of Parallel and Distributed Software Systems (BKhV-Peterburg, St. Petersburg, 2010).
3. Handbook of Satisfiability, Ed. by A. Biere, M. Heule, H. van Maaren, and T. Walsh (IOS Press, Amsterdam, 2009).
4. S. B. Akers, “Binary decision diagrams,” IEEE Trans. Comput. 27 (6) (1978).
5. R. E. Bryant, “Graph-based algorithms for Boolean functions manipulation,” IEEE Trans. Comput. 35 (8) (1986).