Показано, что SAT-задачу нельзя считать универсальной NP-полной задачей, а следовательно, вопрос о существовании хотя бы одной NP-полной задачи остается открытым, чем объясняется безуспешность попыток установить взаимосвязь между классами P и NP.

Электронное моделирование [Текст] // Электронное моделирование ; Институт проблем моделирования в энергетике им. Г.Е.Пухова НАН Украины, РАН - К. : НАНУ. — 2011.

• УДК // Комп’ютерні мови