Boolean Constraint Propagation
...文 2 DPLL算法 21-22 3.3 加速搜索过程的启发式策略 22-29 3.3.1 布尔约束传递过程(BCP,Boolean Constraint Propagation) 22-23 3.3.2 基于冲突的学习过程和非同步回溯 23-26 3.3.3 决策变...
基于4个网页-相关网页
4.2.1布尔约束传递过程(BCP,Boolean ConstraintPropagation) 一24. 第四章基于DPLL的完全算法 布尔约束传递过程(BCP)是最早针对DPLL算法提出的优化...
基于2个网页-相关网页