The paper is concerned with the algorithms for extraction of minimal unsatisfiable (mu) Boolean sub-formula. The algorithms include approximate and exact methods.
研究了极小布尔不可满足子式的提取算法，它分为近似算法和精确算法两种。
The paper is concerned with the algorithms for extraction of minimal unsatisfiable (mu) Boolean sub-formula. The algorithms include approximate and exact methods.
研究了极小布尔不可满足子式的提取算法，它分为近似算法和精确算法两种。
应用推荐