2024年4月7日
随机化处理技术
摘要： 1. Md. Solimul Chowdhury, Martin Müller, Jia-Huai You:Guiding CDCL SAT Search via Random Exploration amid Conflict Depression. AAAI 2020: 1428-1435 Md 阅读全文
posted @ 2024-04-07 23:26 海阔凭鱼跃越 阅读(9) 评论(0) 推荐(0) 编辑
不同的研究视角
摘要： 1.学习子句生成器 Gilles Audemard proposed to renew the vision of CDCL solvers，instead of seeing them as an improvement of a DPLL search, seeing them as claus 阅读全文
posted @ 2024-04-07 14:25 海阔凭鱼跃越 阅读(11) 评论(0) 推荐(0) 编辑