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

• Algorithms for Extracting Minimal Unsatisfiable Boolean Sub-formula