变量极小不可满足
基于1个网页-相关网页
variable minimal unsatisfiability
可变最小不满意度
以上为机器翻译结果，长、整句建议使用 人工翻译 。
A mathematical definition of variable minimal unsatisfiability (VMU) is introduced to drive this abstraction refinement process.
引入变量极小不可满足（VMU）的数学概念来驱动抽象精化的验证过程。
youdao
应用推荐
模块上移
模块下移
不移动