unsatisfiability的意思
美
/ /
英
/ /
unsatisfiability的例句
A mathematical definition of variable minimal unsatisfiability ( VMU ) is introduced to drive this abstraction refinement process.
引入变量极小不可满足 ( VMU ) 的数学概念来驱动抽象精化的验证过程.
互联网