Conflict Driven Clause Learning 动条款学习算法
Furthermore, when handling the branches, SPQBF uses some efficient technologies for solving QBF problems more efficiently, such as unit propagation, conflict driven learning as well as satisfiability directed implication and learning.
在分支处理过程中,SPQBF系统结合了单元传播、冲突学习和满足蕴涵学习等一些优秀的QBF求解技术,从而可以提高QBF问题的求解效率。
参考来源 - 基于调查传播方法的QBF求解器·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐