随笔 - 260  文章 - 0  评论 - 0  阅读 - 52987 
05 2022 档案
Caidical求解器2021年改进文献学习
摘要：CaDiCaL Modification – Watch Sat Norbert Mantheynmanthey@conp-solutions.comDresden, Germany CaDiCaL Modification – Watch Sat Abstract—The solver CADIC 阅读全文
posted @ 2022-05-30 15:16 海阔凭鱼跃越 编辑
训练营作业将microsat改进为microsat_Scave
摘要：最近参加了2022约束求解基础与应用训练营，受益良多。感谢包括蔡少伟教授在内的全体组织者。将其中完成的一项作业发布到这里，做阶段小结的备查资料。 一、改进说明 本人阅读并了解 CDCL 求解器 microsat 的代码，按照课程作业要求将microsat改进为microsat_Scavel。主要改进 阅读全文
posted @ 2022-05-21 13:49 海阔凭鱼跃越 编辑
kissat的阅读分析01
摘要：一、代码阅读顺序 kissat.h main.c application.h application.c internal.h kissat类型定义 internal.c kissat_init (void)函数 search walker rephase.c inline.h 二、输出代码--可以 阅读全文
posted @ 2022-05-11 22:27 海阔凭鱼跃越 编辑
形式化普通问题的流程
摘要：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 阅读全文
posted @ 2022-05-10 23:03 海阔凭鱼跃越 编辑

点击右上角即可分享
微信分享提示