碰集论文

基于扩展规则的若干SAT问题研究
论文摘要从二十世纪五十年代开始,自动推理就成为了计算机科学的一个核心研究领域,而可满足性SAT（Satisfiability）问题是自动推理最重要的问题之一。基于扩展规则的方法...
求解极小碰集的遗传算法及其相关算法的研究
论文摘要本文首先简单介绍了基于模型诊断的基本思想、诊断过程及一些诊断引擎和系统的相关知识。然后提出了计算极小碰集的一个新方法—EC-GA方法,并与其他方法进行了实验对比,指出我...