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