该文主要探讨基于逻辑的自动推理方法,提出了扩展规则,在此基础上建立了一种基于扩展规则的定理证明方法和一种基于扩展规则的知识......

DKCHER算法是基于超扩展规则的求差知识编译算法,也是目前为止表现最好的EPCCL理论编译算法.本文通过研究DKCHER算法的执行流程,设......

基于超扩展规则,证明了EPCCL(Each Pair Contains Complementary Literal)理论的合并过程是可并行执行的,并设计了针对多个EPCCL理......

提出一个新的基于DPLL的编译算法KCDP，从而成功地将EPCCL理论和SAT求解联系起来，使得目前很多应用在基于DPLL的SAT求解器中先进的技......

超扩展规则是对扩展规则的扩充,基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集与差集,并将所......

DKCHER算法是基于超扩展规则的求差知识编译算法.本文首先研究了DKCHER算法的执行流程,并定义了互补量的概念,然后设计了启发式策......