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 决策变...

布尔约束传播 ...学习， 快速地将许多间接的蕴含关系转化成子句，减少SAT解决器的搜索空间并加 速布尔约束传播（boolean constraint propagation，BCP）过程。