SATISFIABILITY PROBLEM Англо-русский перевод SATISFIABILITY PROBLEM проблема выполнимости (в булевой алгебре ) English-Russian dictionary of computers . Англо-Русский словарь по компьютерам. 2012