矛盾体分离相关硕士博士期刊学术论文 - 搜论网

矛盾体分离相关论文

多元动态演绎在Prover9证明器中的应用

Prover9证明器只采用二元归结方法,是一种静态的、局部的推理规则。基于矛盾体分离规则,提出了一种多元动态演绎算法,采用整体式演......

期刊

二元归结矛盾体分离多元动态演绎演绎权重 binary resolutioncontradiction separationmulti-clause dyn

关于并行SAT求解器和并行自动演绎推理系统的研究

命题逻辑和一阶逻辑是逻辑学中的基本问题,也是计算机科学领域的核心问题。在推理系统中命题是命题逻辑公式的最小单位,一阶逻辑可......

学位

SAT问题一阶逻辑 OpenMP 混合遗传算法 GPU 学习子句评估矛盾体分离逆向并行演绎

看过本文同时还关注