2020年6月22日
决策变元选择_决策分支策略——文献学习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-06-22 09:47 海阔凭鱼跃越 阅读(290) 评论(0) 推荐(0) 编辑
SLS与CDCL结合——文献学习CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability
摘要： CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability Cai S., Luo C., Su K. (2015) CCAnr: A Configuration Checking B 阅读全文
posted @ 2020-06-22 00:10 海阔凭鱼跃越 阅读(403) 评论(0) 推荐(0) 编辑