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

博文

投稿ACM TOCS

已有 4024 次阅读 2017-6-27 08:37 |个人分类:子句消去法|系统分类:科研笔记| 投稿, ACM

投稿ACM TOCS

昨天将最终定稿的子句消去法论文投向了ACM TOCS。看看他们是否有定力能够对我的论文给出评价。我已经设计完成了3-SAT的子句消去法测试程序设计,经过我的多方检验没有问题。如果他们需要,我可以将测试程序寄给他们。其实,子句消去法程序在计算机上正确地运行,才具有可靠的说服力。

也许我的英文有点蹩脚,但作为数学与计算机的论文,我想他们都能看懂,何况有设计好的程序。看看国外的同行们会怎样。

特此存照。

2017-6-27




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

上一篇:打破惯性思维才会有科学原创
下一篇:灵感来自知识的积累
收藏 IP: 36.102.227.*| 热度|

1 jaod

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

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

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

GMT+8, 2024-3-29 20:50

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部