задача выполнимости

Мат. satisfiability problem

Источник: Полный русско-английский словарь на Gufo.me