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

博文

一个可以快速求解的3SAT例题

已有 2941 次阅读 2016-5-30 12:41 |个人分类:3SAT解法|系统分类:科研笔记| 3SAT, 快速求解

我这里提供一个3SAT可以用子句消去法快速求解的例题。有兴趣的读者不妨试试在十几分钟内求出满足解如何?

3SAT求解.xls

姜咏江

2016-5-30



http://blog.sciencenet.cn/blog-340399-981205.html

上一篇:我搞科技创新最缺什么?
下一篇:一个可以快速求解的3SAT例题 ——答案

0

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

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

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

GMT+8, 2020-11-24 17:58

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部