unsatisfiabilities

名詞

活用形複数形

plural of unsatisfiability

日本語の意味

充足不可能性の複数形。論理学などにおいて、ある式や条件集合がいかなる充足割り当てによっても真とならない状態を示す。

The theorem lists several common unsatisfiabilities encountered in constraint-solving problems.

その定理は、制約解決の問題で遭遇するいくつかの一般的な充足不能な事例を列挙している。

意味（1）

plural of unsatisfiability

However, these techniques do not scale well with the number of unsatisfiabilities and/or classes.