sat_solver_resolution:基于2-CNF中使用PLY的解析方法的SAT求解器-源码

所需积分/C币:48 2021-02-04 06:18:52 2KB ZIP
27
收藏 收藏
举报

基于解析方法的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

...展开详情
立即下载 低至0.43元/次 身份认证VIP会员低至7折
一个资源只可评论一次,评论内容不能少于5个字
您会向同学/朋友/同事推荐我们的CSDN下载吗?
谢谢参与!您的真实评价是我们改进的动力~
  • 至尊王者

关注 私信
上传资源赚钱or赚积分
最新推荐
sat_solver_resolution:基于2-CNF中使用PLY的解析方法的SAT求解器-源码 48积分/C币 立即下载
1/0