SATISFIABILITY PROBLEM Англо-русский перевод SATISFIABILITY PROBLEM проблема выполнимости (в булевой алгебре) New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011