| Preview | Issue Date | Title | Author(s) | Preview | Type | Issue Date | Title | Author(s) |
| 2012 | Integers sorting method for boolean functions minimization | Minzyuk, Vadym | | Article | 2012 | Integers sorting method for boolean functions minimization | Minzyuk, Vadym |
| 2009 | Мінімізація графів з поміченими вершинами | Чепурко, Віталій | | Article | 2009 | Мінімізація графів з поміченими вершинами | Чепурко, Віталій |
| 2013 | Мінімізація системи логікових функцій методом паралельного розчеплення кон'юнктермів | Рицар, Б. Є. | | Article | 2013 | Мінімізація системи логікових функцій методом паралельного розчеплення кон'юнктермів | Рицар, Б. Є. |
| 2011 | Синтез моделі підсистеми пошуку стежок доступу до унітермів XML-формул алгоритмів | Овсяк, В.; Маркушевський, Т.; Петрушка, Ю. | | Article | 2011 | Синтез моделі підсистеми пошуку стежок доступу до унітермів XML-формул алгоритмів | Овсяк, В.; Маркушевський, Т.; Петрушка, Ю. |
| 2011 | Спосіб сортування цілих чисел для задач мінімізації бульових функцій | Мінзюк, В. В. | | Article | 2011 | Спосіб сортування цілих чисел для задач мінімізації бульових функцій | Мінзюк, В. В. |
