分支策略相关论文
钢铁企业原料码头及原料场是铁矿石、焦煤等原料输入和存储的主要物流节点,受到泊位、堆卸料和运输设备及原料场存储空间等一系列......
CDCL(Conflict Derive Clause Learning)算法是解决布尔可满足性问题(Satisfiability Problem,SAT)的一种完备算法,CDCL算法求解过......
可满足性问题(Satisfiability Problem,SAT问题)是数理逻辑中的一个经典问题,也是自动推理的一个重要研究方向。在理论应用方面,许......
蚁群优化算法是一种求解组合优化难题的强启发式算法,它利用正反馈和并行计算原理,具备很强的搜索能力.近年来,蚁群优化算法广泛应......
针对学习子句数量有限或相似度高导致历史信息有限、搜索树不平衡的问题,提出了基于动态奖惩的分支策略。首先,对每次单子句传播的......
研究SAT问题不仅具有重要的理论意义,而且具有实际应用价值。设计高效的SAT问题的算法是国内外研究的热点。而分支策略是影响求解......
版本控制管理在多人、多团队的研发项目中起着举足轻重的作用,有效的利用好版本控制管理工具可以大大缩短研发的周期进而提高研发......
分支决策是CD CL(Conflict Driven Clause Learning)求解器一个十分关键的环节,一个好的分支策略可以减少分支决策次数进而提高SAT......
可满足性问题(简称SAT问题)是计算机领域和人工智能领域的核心问题之一。S.A.Cook于1971年首次论证SAT问题是NP-完全的,即任何NP问......
