摘要： 摘要： 针对命题逻辑公式求解过程中难以有效评估学习子句是否有利于后续搜索的问题，提出了一种基于学习子句趋势强度的评估算法。该算法首先通过分析学习子句在生存期内参与冲突分析的时间分布特征，将随机、离散的时间分布转换为连续的累积趋势强度；然后在删除周期达到时，通过设定趋势强度阈值删除在后续搜索过程中“不 阅读全文

该文被密码保护。 阅读全文