HW:DPLL_SAT求解器-源码
硬件
DPLL_SAT求解器
基于DPLL算法的SAT问题解法程序
建设中
2021/3/10修改了部分DPLL算法的核心内容，并加入了计时功能
2021/3/11加入真值表的打印功能，拟增加冲突子句的记录功能，即学习函数拟加强MOM策略，改进变元的选择策略
2021/3/12拟增加数独部分
文件下载
资源详情
[{"title":"（ 6 个子文件 7KB ） HW:DPLL_SAT求解器-源码","children":[{"title":"HW-main","children":[{"title":"cnf_FILE <span style='color:#111;'> 4.24KB </span>","children":null,"spread":false},{"title":"head.h <span style='color:#111;'> 890B </span>","children":null,"spread":false},{"title":"MAIN <span style='color:#111;'> 3.91KB </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 424B </span>","children":null,"spread":false},{"title":"DPLL <span style='color:#111;'> 4.21KB </span>","children":null,"spread":false},{"title":"Binary_Sudo <span style='color:#111;'> 8.26KB </span>","children":null,"spread":false}],"spread":true}],"spread":true}]
评论信息
其他资源
- 随机过程引论-何声武
- MCP3421电压采集
- 插值法（牛顿插值与拉格朗日插值法的matlab代码）
- VMware-Workstation-Full-15.0.2-10952284.x86_64.bundle
- 各种微信小程序demo
- 空间计量学入门与GeoDa软件应用_13668141
- 韩顺平java从入门到精通上课所有笔记源码
- TQFP封装库芯片Altium库 AD元件库 PCB封装库 3D视图库（AD库+Protel库）.zip
- WPF datagrid 表格复选框
- JAVA WEB项目做的图书馆管理系统
- SOFA库（含fortan和c版程序）
- jacob_1.11.1.zip
- cmake-3.16.2-Linux-x86_64.tar.gz
- WhatToEat-master.rar
- cuda10.1-ubuntu1604.part2.rar
- CrystalDiskInfo（硬盘信息查看工具）7.82.7z
- 满屏幕下雪花（圣诞经典推荐）
- ADAS功能动画（ACC/AEB/IPA/BSW/LDW等)
- VB曲线绘制控件(含测试代码)
- 姓名缩写+生日组合1.5G 无线 密码
- 基于jsoup的SpringBoot爬虫demo
- windows下mysql5.6的安装
- libssh2 1.8.0 32位动态库
- kafka和storm整合
- 安卓音乐播放器
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明