随笔 - 260
文章 - 0
评论 - 0
阅读 -
52987
03 2021 档案
对CDCL再认识--相关文献的解读笔记
摘要：1。 Off the Trail: Re-examining the CDCL Algorithm Huang, J.: A Case for Simple SAT Solvers. In: Bessi`ere, C. (ed.) CP 2007. LNCS,vol. 4741, pp. 839–8
阅读全文
