go top

boolean constraint propagation 添加释义

网络释义

  布尔约束传播

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

基于4个网页-相关网页

  布尔约束传递过程

...文 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个网页-相关网页

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定