2021年11月6日
文献学习--Deep Cooperation of CDCL and Local Search for SAT
摘要： Deep Cooperation of CDCL and Local Search for SAT Cai S., Zhang X. (2021) Deep Cooperation of CDCL and Local Search for SAT. In: Li CM., Manyà F. (eds 阅读全文
posted @ 2021-11-06 17:22 海阔凭鱼跃越 阅读(282) 评论(0) 推荐(0) 编辑
文献阅读--An Extensible SAT-solver
摘要： An Extensible SAT-solver Cite this paper as: Eén N., Sörensson N. (2004) An Extensible SAT-solver. In: Giunchiglia E., Tacchella A. (eds) Theory and A 阅读全文
posted @ 2021-11-06 11:05 海阔凭鱼跃越 阅读(149) 评论(0) 推荐(0) 编辑