2020年11月18日
摘要: 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 海阔凭鱼跃越 阅读(251) 评论(0) 推荐(0)