mathematics   specialized A mathematical problem that is satisfiable has one

中文解释

（数学）可满足的 The corresponding formula turned out to be satisfiable. 相应的公式被证明是可满足的。