אנגלית ⇄ אספרנטו סינית רוסית +

satisfiability problem
.טֶכנו	满意性问题
.טכנול	★ 可满足性问题