分支启发计算的优化方法、SAT解算器、存储介质

摘要

本发明公开了一种分支启发计算的优化方法、SAT解算器、存储介质。其中分支启发计算的优化方法，包括：在对合取范式实例进行预处理时，对合取范式实例进行循环化简，直至合取范式实例中不存在单文字子句；采用分支启发算法对预处理后的合取范式实例进行计算的过程中，每次冲突发生后对变元活性进行计算时，将当前发生冲突的子句长度加入变元活性的计算，以实现对长子句的优先解算。本发明对分支启发计算进行了多方面的优化，加快了SAT解算器的解算速度。