unsatisfiability的中文翻译

unsatisfiability

英[] 美[]

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

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