sat_solver_resolution：基于2-CNF中使用PLY的解析方法的SAT求解器-源码
基于解析方法的SAT求解器
HSE算法和软件设计离散数学课程中的家庭作业项目。 基于解析工具。
任务描述
给定2-CNF中的布尔公式，请使用解析方法确定是否可满足要求。 2-CNF的子句可以是以下两种形式之一：α\ /β或α->β，其中α和β是文字（p或〜p，其中p是变量）。 CNF以常用符号表示，例如：（p-> q）/ \（〜r \ / s）/ \（〜q-> p）
例
$ python hw_ply.py
input > (p -> q) /\ (~r \/ s) /\ (~q -> p)
Resolution: (~p\/q)/\(~r\/s)/\(q\/p)/\(None\/q)
Sat
文件下载
资源详情
[{"title":"（ 2 个子文件 2KB ） sat_solver_resolution：基于2-CNF中使用PLY的解析方法的SAT求解器-源码","children":[{"title":"sat_solver_resolution-master","children":[{"title":"hw_ply.py <span style='color:#111;'> 4.91KB </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 947B </span>","children":null,"spread":false}],"spread":true}],"spread":true}]
评论信息
其他资源
- C# 一对多远程屏幕监控 可用于多终端切屏投影
- Qt5.9C++开发指南 源码 资源.zip
- STM32F移植到STM32L应用手册（中文版）
- C#网络抓包MySniffer+WinPcap_中文技术文档
- STM32F103RCT6最小系统板和原理图
- javascript期末作业
- UVC 1.0/1.1/1.5协议
- TCP/IP实现数据接收并保存到SQLSERVER数据库
- 汽车销售系统java应用程序+SQL2000数据库设计完整版
- VSCode安装包X64
- MfgTools.zip
- jdk-7u67-linux-x64.tar.gz
- 操作系统 进程管理 C# VS2005
- android动态添加权限工具包，方便快捷，
- 数据结构（用面向对象方法和C++描述） 殷人昆著
- OA系统项目源码
- Unity Offline Render
- 循环硫化床锅炉的设计与运行.rar
- matlab读取YUV视频（程序自己跑过，能运行）
- ffmpeg-vs2013
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明