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