随笔 - 260  文章 - 0  评论 - 0  阅读 - 52987 
11 2020 档案
文献学习——Relaxed Backtracking with Rephasing
摘要：Relaxed Backtracking with Rephasing 提出了一种通过放松回溯来改进CDCL求解器的方法。 文献来源： sr2019_proceedings.pdf sr2020_proceedings.pdf Xindi Zhang1,2 and Shaowei Cai1,2*1S 阅读全文
posted @ 2020-11-18 11:27 海阔凭鱼跃越 编辑
文献学习-An Empirical Study of Branching Heuristics through the Lens of Global Learning Rate
摘要：An Empirical Study of Branching Heuristics through the Lens of Global Learning Rate Liang J.H., V.K. H.G., Poupart P., Czarnecki K., Ganesh V. (2017) 阅读全文
posted @ 2020-11-05 11:20 海阔凭鱼跃越 编辑

点击右上角即可分享
微信分享提示