1. Quine, W.V. The problem of simplifying of truth functions / W.V. Quine // Am. Math.
2. Monthly. - 1952. - Vol. 59, № 8. - P. 521-531.
3. McCluskey, E.J. Minimization of Boolean functions / E.J. McCluskey // Bell System Tech. J. -
4. - Vol. 35, № 6. - P. 1417-1444.
5. Закревский, А.Д. Логический синтез каскадных схем / А.Д. Закревский. - М. : Наука,
6. - 415 c.
7. Zakrevskij, A.D. Minimization of Boolean functions of many variables - iterative algorithm /
8. A.D. Zakrevskij, N.R. Toropov // Internat. Workshop on Boolean Problems. - Freiberg, Germany,
9. - P. 175-182.
10. Закревский, А.Д. Векторный метод минимизации булевых функций многих перемен-
11. ных / А. Д. Закревский // Доклады НАН Беларуси. - 2009. - Т. 53, № 2. - С. 45-48.
12. Закревский, А.Д. Минимизация булевых функций многих переменных в классе ДНФ -
13. итеративный метод и программная реализация / А.Д. Закревский, Н.Р. Торопов // Прикладная дискретная математика. - 2009. - № 1 (3). - С. 5-14.
14. Закревский, А.Д. Реализация случайных событий с заданной вероятностью / А.Д. За-
15. кревский // Труды СФТИ. - 1965. - Вып. 47. - С. 56-59.
16. Zakrevskij, A.D. Parallel operations over neighbors in Boolean space / A.D. Zakrevskij //
17. Proceedings of the Sixth International Conference CAD DD-07. - Minsk, 2007. - Vol. 2. - P. 6-13.
18. Закревский, А.Д. Программирование вычислений в многомерном булевом пространст-
19. ве / А.Д. Закревский // Управление, вычислительная техника и информатика. Вестник Томского государственного университета. - 2008. - № 2 (3). - С. 94-105.
20. Романов, В.И. Программный комплекс для автоматизации исследований комбинатор-
21. ных алгоритмов логического проектирования / В.И. Романов // Информационные системы и технологии» (IST’2009) : материалы V Междунар. конф.-форума, Минск, 16-17 ноября 2009 г. В 2 ч. Ч. 1 ; редкол. : Н.И. Листопадов [и др.]. - Минск : А.Н. Вараксин, 2009. - С. 95-98.