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

博文

Look at This paper,Why Do TOCS not Touch It?

已有 3376 次阅读 2017-8-11 19:01 |个人分类:P/NP问题|系统分类:论文交流| CEASP

Mathematical Theory of Clause Elimination Algorithm for SAT_acm00.pdf




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

上一篇:廉颇老矣尚能编程否?
下一篇:脑机器会像人脑一样思考吗?
收藏 IP: 36.102.227.*| 热度|

0

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

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

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

GMT+8, 2024-3-28 23:54

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部