miniSAT求解器
MiniSAT是简约的求解器，开源的布尔可满足问题求解器。由研究人员和开发人员共同研发。并得到麻省理工大学的许可并发布。给SAT求解器一个逻辑命题，包含与或非逻辑符号以及若干布尔变量，SAT求解器根据这个表达式判定该逻辑命题是否可满足从而决定该命题是否成立。如果可满足，SAT求解器（包括MiniSAT）得到结果判定命题公式集是真的。很多问题都可以转换成SAT求解问题，并利用现有的SAT求解器，方便给出问题的所有答案。
文件下载
评论信息
-
-
-
gnefniu :资源可以，但看不太懂2015-01-26 -
-
cwiky_1993 :学的不够多，不大看得懂2015-01-10
-
-
bingchong2 :菜鸟，看不懂2014-05-31
-
-
u012738602 :才疏学浅，实现不了。。2014-04-22
-
-
u011591756 :miniSAT求解器很好用2013-11-02
-
其他资源
- Elsevier爱思唯尔的word模板.zip
- coco2017数据集--训练集的txt标注文件，适用于yolov5训练
- 基于Dugoff轮胎带侧翻的8自由度整车模型
- stm32f10x 开发 毫米波雷达.zip
- Android MQTT Demo(阿里云)
- 卫星定位计算接收站点坐标
- star ccm场函数的命令规则
- 数字 一阶低通滤波器 matlab 幅频响应代码
- 小学生四则运算
- PostgreSQL 12.2流复制实施步骤详细手册
- EP4CE10芯片引脚图
- 用友政务a++手册
- pygame键盘输入框拓展（这个包特别简单，也不用加别的复杂的拓展，小白都可以直接简单使用）
- ATM源码附带MYSQL工具类库
- EditPlus文档编辑器
- CUEDC2在不同侵袭迁移能力结直肠癌细胞系中的表达
- kafka_上归古_源码笔记资料.zip
- 033-PyCharm初始设置-11-设置PyCharm专业版的启动图标.mp4
- Vocabulary.docx
- 华泰证券-人工智能系列之六：人工智能选股之Boosting模型
- 安卓自定义男女选择器
- openssl bcb的静态库lib+头文件+chm
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明