CNF转换器
创建了一个程序CNFconverter.py，它将任何命题逻辑语句转换为其等效的CNF语句。
SAT求解器
使用Davis–Putnam–Logemann–Loveland（DPLL）算法，构建一个布尔可满足性求解器，该求解器在CNF中采用一组变量和连接词，并返回使CNF句子为真的令人满意的赋值或确定没有令人满意的赋值是不可能的。
2022-05-11 11:07:48
8KB
1
Mars的自语
快速排序算法的改进
由于快速排序多次因为很小的子文件而调用自身，所以可以在其长度较小时，停止使用快速排序，而使用插入排序：
If (right - left <= M) InsertSort(Item, left, right)
M通常取5-25，实验表明，其速度比M=1快10%以上
2022-05-08 17:30:20
398KB
1
这是我考南理工通信专业复试之前花钱买的复试资料，是本科生的期末试卷。虽然不是真题卷（你也买不到真题卷），但是命题人和考研复试命题人相同。
2022-05-06 16:56:58
28.75MB
1
人工智能-机器学习-赣南某稀土矿山原地浸矿的收液与表层滑坡规律的数值模拟计算.pdf
2022-05-05 09:09:44
3.06MB
专业软件－南域剑盟文件捆绑免杀加工器
功能非常专业强大:
可将4个文件捆绑在一起，可定义释放的路径，多种高级运行方式，数据加密，不会被查出捆绑多个文件。
其他高级功能有：
1、从其它文件提取原始图标
2、修改文件图标
3、修改文件属性
4、修改文件时间
2022-05-05 04:20:17
488KB
1