摘要:
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 阅读全文
摘要:
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 阅读全文