unsatisfiability

unsatisfiability

简明

n.不可满足性

网络释义
专业释义

1
不可满足性
... 非样本，不抽样，不取样 unsample 不可满足性 unsatisfiability 不满足外 unsatisfied external ...

短语

1
E-unsatisfiability
E不可满足性
2
Q-unsatisfiability
Q不可满足性
3
variable minimal unsatisfiability
变量极小不可满足

双语例句

1
A mathematical definition of variable minimal unsatisfiability (VMU) is introduced to drive this abstraction refinement process.
引入变量极小不可满足（VMU）的数学概念来驱动抽象精化的验证过程。

查看更多

词源

1

un- +‎ satisfiability

FROM: wiktionary

点击反馈