The paper is concerned with the algorithms for extraction of minimal unsatisfiable (MU) Boolean sub-formula.The algorithms include approximate and exact methods.

• 摘要研究了极小布尔不可满足子式的提取算法，它分为近似算法和精确算法两种。