注册 |登录
已有 3712 次阅读 2016-5-31 09:37 |个人分类:教学笔记|系统分类:科研笔记| 子句消去法, 3SAT求解
这个题我做用了8分钟,熟悉子句消去法的读者大约15分钟可以得到满足解的答案。
这里上传一个满足解的答案,供有兴趣的读者参考。
欢迎读者给出3SAT题目,我来替你解答。
姜咏江
2016-5-31
3SAT求解.xls
3SAT求解-答案.xls
推荐到博客首页
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-10-6 01:00
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社