אנגלית ⇄ סינית רוסית

k-SAT מתח
.בינה	задача выполнимости булевых формул в k-конъюнктивной нормальной форме (Alex_Odeychuk)