1.CHB(conflicthistory-basedbranchingheuristic)分支策略1.1奖励函数\(numConflicts\)从搜索开始发生冲突的总次数\(lastConflict[v]\)文字\(v\)在冲突分析出现，则\(lastConflict[v]=numConflicts\)\(multiplier\)取值为1.0或0.9。\(multiplier=1.0\)当分支、传播