Angielski ⇄ Rosyjski +

propositional satisfiability problem akcenty
sztuczn.	задача выполнимости булевых формул (boolean satisfiability problem Alex_Odeychuk)