... 非样本，不抽样，不取样 unsample 不可满足性 unsatisfiability 不满足外 unsatisfied external ...
基于12个网页-相关网页
E-unsatisfiability E不可满足性
Q-unsatisfiability Q不可满足性
variable minimal unsatisfiability 变量极小不可满足
·2,447,543篇论文数据，部分数据来源于NoteExpress
A mathematical definition of variable minimal unsatisfiability (VMU) is introduced to drive this abstraction refinement process.
引入变量极小不可满足（VMU）的数学概念来驱动抽象精化的验证过程。
youdao
应用推荐
模块上移
模块下移
不移动