随笔 - 260  文章 - 0  评论 - 0  阅读 - 52987 
04 2024 档案
文献阅读-
摘要：Coverage-Based Clause Reduction Heuristics for CDCL Solvers Abstract Many heuristics, such as decision, restart, and clause reduction heuristics, are 阅读全文
posted @ 2024-04-12 19:52 海阔凭鱼跃越 编辑
重启策略出处文献
摘要：Carla P. Gomes, Bart Selman, Nuno Crato:Heavy-Tailed Distributions in Combinatorial Search. CP 1997: 121-135 @inproceedings{DBLP:conf/cp/GomesSC97, au 阅读全文
posted @ 2024-04-11 16:04 海阔凭鱼跃越 编辑
随机化处理技术
摘要：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 海阔凭鱼跃越 编辑
不同的研究视角
摘要：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 海阔凭鱼跃越 编辑
预处理技术文献
摘要：1. Norbert Manthey, Marijn Heule, Armin Biere:Automated Reencoding of Boolean Formulas. Haifa Verification Conference 2012: 102-117 2. A. Haberlandt, 阅读全文
posted @ 2024-04-01 07:10 海阔凭鱼跃越 编辑

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