2021年3月28日
对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 阅读全文
posted @ 2021-03-28 12:05 海阔凭鱼跃越 阅读(1214) 评论(0) 推荐(0)