Сапоженко О. А. Дослідження складності задачі довизначення часткових монотонних булевих функцій / О. А. Сапоженко, Г. А. Махіна // Наук. вісті НТУУ "КПІ". - 2008. - № 4. - С. 90-93. - Бібліогр.: 8 назв. - укp.
Розглянуто задачу побудови тупикових довизначень часткових монотонних булевих функцій і показано, що вона є NP-повною. Доведення NP-повноти проводиться зведенням задачі покриття множин до задачі пошуку оптимального довизначення.