随笔 - 260  文章 - 0  评论 - 0  阅读 - 52987 
05 2021 档案
文献学习——Guiding CDCL SAT Search via Random Exploration amid Conflict Depression
摘要：Guiding CDCL SAT Search via Random Exploration amid Conflict Depression Md Solimul Chowdhury, Martin M¨ uller, Jia-Huai YouDepartment of Computing Sci 阅读全文
posted @ 2021-05-29 12:31 海阔凭鱼跃越 编辑
Relaxed_LCMDCBDL_newTech解读中目前不清楚的地方2021-5-18
摘要：1.drup_file 声明的成员与函数 FILE* drup_file; #ifdef BIN_DRUP static int buf_len; static unsigned char drup_buf[]; static unsigned char* buf_ptr; static inlin 阅读全文
posted @ 2021-05-18 10:28 海阔凭鱼跃越 编辑
minisat数据成员ok的使用分析及两大类化简操作
摘要：定义 // Solver state: // bool ok; // If FALSE, the constraints are already unsatisfiable. No part of the solver state may be used! 初始化 , ok (true) 使用 在以 阅读全文
posted @ 2021-05-16 11:36 海阔凭鱼跃越 编辑
形式化——集成电路学习1
该文被密码保护。
posted @ 2021-05-15 21:01 海阔凭鱼跃越 编辑
文献学习——PySAT: A Python Toolkit for Prototyping with SAT Oracles
摘要：PySAT: A Python Toolkit for Prototyping with SAT Oracles Ignatiev A., Morgado A., Marques-Silva J. (2018) PySAT: A Python Toolkit for Prototyping with 阅读全文
posted @ 2021-05-09 15:44 海阔凭鱼跃越 编辑

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