完全方法相关论文
求解公式的可满足性在诸如形式化验证、电子设计自动化与人工智能等众多领域中都具有非常重要的理论与应用价值,成为近年来的研究热......
在几何定理机器证明的各种方法中,吴氏方法获得了显著的成功.如预先把有关代数簇分解为不可约簇,则吴氏方法可成为完全方法.本文在吴法......