2020年7月30日
2020SAT竞赛综述解读1——文献学习PauSat-基于 Maple_ LCM_Dist改进的CDCL+SLS求解器
摘要： PauSatBenjamin Kaiser and Marc HartungZuse Institute BerlinBerlin, Germany{kaiser,hartung}@zib.de 译文：通过引入额外的赋值过程，实现了一种结合CDCL求解和SLS求解器特性的方法 关键的知识点：（1）变 阅读全文
posted @ 2020-07-30 22:35 海阔凭鱼跃越 阅读(332) 评论(0) 推荐(0)
7.CaDiCal代码解读——CaDiCal的internal相关代码--collect.cpp
摘要： collect.cpp 有关子句满足性判断、在watches中位置调整、是否可以撤销、撤销空间前copy垃圾收集器、释放空间等 包括以下internal类型的成员函数: 1 int Internal::clause_contains_fixed_literal (Clause * c); 2 voi 阅读全文
posted @ 2020-07-30 10:31 海阔凭鱼跃越 阅读(120) 评论(0) 推荐(0)