1. Advanced Formal Verification / R. Drechsler [et al.]. - Kluwer Academic Publishers, 2005. -
2. p.
3. Kunz, W. SAT and ATPG: Algorithms for Boolean Decision Problems. - Logic synthesis and
4. Verification / W. Kunz ; ed. S. Hassoun, T. Sasao and R.K. Brayton. - Kluwer Academic Publishers,
5. - P. 309-341.
6. Goldberg, E. BerkMin: A fast and robust SAT-Solver / E. Goldberg , Y. Novikov // Proceedings
7. of the conference on Design, automation and test in Europe. - France, Paris, 2002. - P. 142-149.
8. Cheremisinova, L. Simulation-based approach to verification of logical descriptions with
9. functional indeterminacy / L. Cheremisinova, D. Novikov // Information Theories & Applications
10. (IJ ITA). - 2008. - Vol. 15, № 3. - P. 218-224.
11. Cheremisinova, L. SAT-Based Approach to Verification of Logical Descriptions with Functional
12. Indeterminacy / L. Cheremisinova, D. Novikov // Proc. 8th International Workshop on Boolean
13. Problems. - Germany, Freiberg, 2008. - P. 59-66.
14. Tseitin, G.C. On the Complexity of Derivation in Propositional Calculus / G.C. Tseitin // Studies in Constructive Mathematics and Mathematical Logic. - New York, London, 1968. - Part 2. - P. 115-125.
15. Cheremisinova, L.D. Verification of multi-block structures with functional indeterminacy /
16. L. Cheremisinova, D. Novikov // Materialy VI Mezhdunar. konf. «Avtomatizatsiya proektirovaniya diskretnykh ustroistv» (CAD DD’07). - Minsk : OIPI NAN Belarusi, 2007. - S. 103-108.