随笔 - 260
文章 - 0
评论 - 0
阅读 -
52987
01 2021 档案
CaDiCal代码解读8——CaDiCal的internal相关代码--internal.cpp
摘要：This provides the actual API of the CaDiCaL solver, which is implemented in the class 'Solver' below. Beside its constructor and destructor most impor
阅读全文
学习阶段对蕴含图的复习
摘要：1.分析函数代码解读 1 void Solver::analyze(CRef confl, vec<Lit>& out_learnt, int& out_btlevel, int& out_lbd) 2 { 3 int pathC = 0; //从冲突子句回溯路径上的分叉数 4 Lit p = li
阅读全文
学习子句管理相关文献学习2021-1
摘要：1. Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving Vallade V., Le Frioux L., Baarir S., Sopena J., Ganesh V., Kordon F. (2020)
阅读全文
