随笔 - 260
文章 - 0
评论 - 0
阅读 -
52987
随笔分类 - 日常札记
汇集日常提示文档等
sat初学入门资料2022-12
摘要：1. GlueMiniSatPPT-nabeshima.pdf A fast SAT solver with an aggressive acquiring strategy of glue clauses 早期求解器资料，涉及基本概念、BCP工作示意图、冲突分析蕴含图的图示。 也可以参见另一位网友
阅读全文
当前SAT主要关键技术及其相关文献2022-11-1
摘要：摘录自： Tasniem Nasser Al-Yahya, Mohamed El Bachir Menai, Hassan Mathkour:Boosting the Performance of CDCL-Based SAT Solvers by Exploiting Backbones and
阅读全文
在windows系统上安装Anaconda并用于绘制几类结果分析图
摘要：编辑环境变量path增加以下两个值： C:\Users\86183\anaconda3C:\Users\86183\anaconda3\Scripts
阅读全文
化简子句集入门——预处理和求解中某些特定时间节点用到的技术环节
摘要：入门参考文献 1.Gong L, Wang Z, Chu C, Yuan Y, Wang T. bfSAT: An Incremental SAT Solver Based On Prioritizing Binary Clauses. 2019 IEEE International Confere
阅读全文
缓慢上升的曲线
摘要：(x)=ln(x)/x+x/e^x是一个。 (x^2-1)*exp(-x)也可以。 x=1:100:10000; y = log(x)./x + x./(2.718).^x; plot(x,y) x=1:10:200; y = 1+ (x.^2-1).*exp(-x); plot(x,y) x2 =
阅读全文
STP——SMT求解器
摘要：STP是一种无量化位向量理论的约束求解器，它可以解决由程序分析工具、定理证明器、自动错误查找器、密码算法、智能模糊器和模型检验器产生的各种问题。 * Homepage: https://stp.github.io/* Ubuntu PPA: https://launchpad.net/~simple
阅读全文
matlab将当前坐标轴图像以指定尺寸高清输出
摘要：基于图像窗口设置来指定输出图像大小和清晰度的方式，在网上很多。 这里重点介绍以编程的方式将坐标轴中图像输出的指定文件夹的方法。 来源： https://blog.csdn.net/iam3mjun/article/details/52015868 https://www.csdn.net/gathe
阅读全文
matlab程序jiaMi的相关代码
摘要：1.将.m文件转换为.p文件——隐藏代码加密 使用pcode命令—— pcode filename.m 即可生成源文件对应的.p文件 filelname.p。移除.m文件保留.p文件不影响函数调用和程序运行。 2.读取当前PC机的主板序列号加以对比，加入对比代码段并结合上面隐藏代码——实现程序离不开
阅读全文
定期关注文献——查询关键字
摘要：跟踪最新文献需要查询的关键词 sat implication graph Community Structure SAT Problems SAT solver Structure SAT Reduction 可以搜素到很多形式化与sat的文章
阅读全文
