unsatisfiable
美
英 
例句
Algorithms for Extracting Minimal Unsatisfiable Boolean Sub-formula
极小布尔不可满足子式的提取算法
Equivalence Structure of a Subclass of Minimal Unsatisfiable Formulas
一个极小不可满足公式子类的等价结构
Complete Proof Systems for Unsatisfiable Formulas
不可满足公式的完备证明系统