本文提出了一种基于最小约简（minimal reduct）的算法（circ-reduct）来高效求解命题 circumscription 模型。通过将 circumscription 转换为 SAT 问题，并利用迭代约简和公式简化，该算法在电路诊断、随机CNF和工业SAT基准测试中显著优于现有方法（aspino、circ2dlp），平均CPU ...