- 博客(9)
- 收藏
- 关注
原创 《DOT文件编辑方法——论文图片最佳伙伴》
DOT(.dot)是开源工具Graphviz开发的语言,是一门用来画图的脚本语言,主要用来画各种结构示意图和流程图等
2022-11-01 20:50:03
1824
原创 《布尔可满足性问题SAT入门指南》
SAT是命题逻辑的决策问题,其中元素包括合适的命题公式、变量、逻辑运算符和括号。使用输入文件严格要求是CNF(conjunctive normal form,合取范式),最后确定公式是否具有令人满意的赋值(SAT)。
2022-09-26 20:52:09
2308
5
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人