Algorithms for Extracting Minimal Unsatisfiable Boolean Sub-formula

• 极小布尔不可满足子式的提取算法