ЗАДАЧА ВЫПОЛНИМОСТИ БУЛЕВЫХ ФОРМУЛ Русско-английский перевод ЗАДАЧА ВЫПОЛНИМОСТИ БУЛЕВЫХ ФОРМУЛ Boolean satisfiability problem Русско-Американский Английский словарь. Russian-American English dictionary . 2012