鸽巢公式相关论文
限制在不可满足公式的不可满足性的证明,给出了一个改进的DPLL算法-RSMLS.新的算法带有一条对称规则(文字改名规则)和三条简化规则......
鸽巢公式的一个真值指派可以用一个边带标记的完全二分图表示.在完全二分图中插入一个新的中介结点集,可以将鸽巢公式推广到带中介......
