1. S.B. Akers, Binary desicion diagrams. IEEE Trans. Comput. 27 (1978)
2. A. Biere et al., Handbook of Satisfiability, vol. 185. Frontiers in AI and Applications (IOS Press, 2009)
3. A. Biere et al., Symbolic model checking using SAT procedures instead of BDDs, in Proceedings of the Design Automation Conference (1999), pp. 317–320. https://doi.org/10.1109/DAC.1999.781333
4. A. Biere et al., Symbolic model checking without BDDs, in Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Springer, 1999), pp. 193–207. https://doi.org/10.1007/3540490590_14
5. A. Biere, Adaptive restart strategies for conflict driven SAT solvers, in Proceedings of the International Conference on Theory and Application of Satisfiability Testing (Springer, Berlin, Heidelberg, 2008), pp. 28–33 https://doi.org/10.1007/9783540797197_4