子句简化相关论文
本文介绍归纳法推理系统中的简化策略,系统推理能力在很大程度上取决于系统简化持证公式的能力,本文从定义的类型规定出发,描述了如何......
研究提出一种增强范式演绎能力的方式来有效地简化子句库,达到裁剪大量搜索空间的目的,从而能缓解状态空间爆炸问题.利用求解器算......