注册 |登录

CMP设计分享 http://blog.sciencenet.cn/u/accsys 没有逆向思维就没有科技原创。 不自信是科技创新的大敌。

博文

子句消去法求3-SAT满足解的练习题

已有 1944 次阅读 2016-10-20 09:12 |个人分类:子句消去法|系统分类:科研笔记| 子句消去法, 练习题, K-SAT

这是我在研究子句消去法求3-SAT满足解的部分验证题，具体是否有解可以运用子句消去法检验一下，从这些题目中可以确认子句消去法的正确性。给出这些练习是为了减少朋友们的工作。

3SAT求解.xls

4sat4.xls

10Book2.xls

100.xls

Boo2.xls

Book1.xls

Book2.xls

Book3.xls

Book4.xls

Book5.xls

Book8.xls

Book9.xls

two1.xls

二元关联.xls

全多解题.xls

一元关联2.xls



https://blog.sciencenet.cn/blog-340399-1009804.html

上一篇：子句消去法多项式时间复杂度证明的详细解释
下一篇：美国为何对中国肆无忌惮？而对俄罗斯不敢？
收藏 IP: 120.52.92.*| 热度|

0

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...
扫一扫，分享此博文

全部作者的精选博文

全部作者的其他最新博文

全部精选博文导读

相关博文

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-4-18 21:15

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部