unsatisfiable
美
英 
例句
Algorithms for Extracting Minimal Unsatisfiable Boolean Sub-formula
極小布爾不可滿足子式的提取算法
Equivalence Structure of a Subclass of Minimal Unsatisfiable Formulas
一個極小不可滿足公式子類的等價結構
Complete Proof Systems for Unsatisfiable Formulas
不可滿足公式的完備證明系統