随笔 - 260
文章 - 0
评论 - 0
阅读 -
52987
随笔分类 - 具体技术-trail saving
重启前后相邻的两个求解阶段前期具有相同的决策顺序
对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
阅读全文
文献学习--Trail Saving on Backtrack
摘要：Trail Saving on Backtrack Hickey R., Bacchus F. (2020) Trail Saving on Backtrack. In: Pulina L., Seidl M. (eds) Theory and Applications of Satisfiabil
阅读全文
