2022年6月21日
摘要：
1.MapleCOMSPS_LRB_VSIDS 1 /cygdrive/d/studySAT2022_06/MapleCOMSPS_LRB_VSIDS_no_drup/MapleCOMSPS_LRB_VSIDS/simp/Main.cc:43: undefined reference to `Min 阅读全文
2022年6月21日
2022年6月20日
摘要：
文献： Stepan Kochemazov, Oleg Zaikin, Alexander A. Semenov, Victor Kondratiev:Speeding Up CDCL Inference with Duplicate Learnt Clauses. ECAI 2020: 339-3 阅读全文
2022年5月30日
摘要：
CaDiCaL Modification – Watch Sat Norbert Mantheynmanthey@conp-solutions.comDresden, Germany CaDiCaL Modification – Watch Sat Abstract—The solver CADIC 阅读全文
2022年5月21日
摘要：
最近参加了2022约束求解基础与应用训练营，受益良多。感谢包括蔡少伟教授在内的全体组织者。将其中完成的一项作业发布到这里，做阶段小结的备查资料。 一、改进说明 本人阅读并了解 CDCL 求解器 microsat 的代码，按照课程作业要求将microsat改进为microsat_Scavel。主要改进 阅读全文
2022年5月11日
摘要：
一、代码阅读顺序 kissat.h main.c application.h application.c internal.h kissat类型定义 internal.c kissat_init (void)函数 search walker rephase.c inline.h 二、输出代码--可以 阅读全文
2022年5月10日
摘要：
doc https://cnfgen.readthedocs.io/en/latest/buildcnf.html TABLE OF CONTENTS Welcome to CNFgen’s documentation! 1. How to build a CNF 2. Testing satisf 阅读全文
2022年4月15日
摘要：
1. cadical中求解函数的调用关系 类型 APP Solver External Internal 说明 数据成员 Solver solver； 成员函数 init(); solve(); 数据成员 Internal * internal; // Hidden internal solver. 阅读全文
2022年3月21日
摘要：
DIMACS File format The benchmark file format will be in a simplified version of the DIMACS format: cc start with commentscc p cnf 5 31 -5 4 0-1 5 3 4 阅读全文
2022年3月20日
摘要：
研读该程序的目的：（1）组合两个以上求解器的程序代码组织；（2）cmake的代码编写和阅读 1.下载cmsatv56-yalsat 2.在编译窗口切换到文件夹cmsatv56-yalsat路径下，运行命令./starexec_build2，自动建立文件夹build并得到编译后的exe程序。编译过程屏 阅读全文
摘要：
Evaluating CDCL Restart Schemes Published: March 15, 2019 Armin Biere and Andreas Fröhlich 本文可以看做是对之前重启策略的一个回顾、确认及展望。 Abstract Modern CDCL (conflict-d 阅读全文