博文
投稿ACM TOCS
|||
投稿ACM TOCS
昨天将最终定稿的子句消去法论文投向了ACM TOCS。看看他们是否有定力能够对我的论文给出评价。我已经设计完成了3-SAT的子句消去法测试程序设计，经过我的多方检验没有问题。如果他们需要，我可以将测试程序寄给他们。其实，子句消去法程序在计算机上正确地运行，才具有可靠的说服力。
也许我的英文有点蹩脚，但作为数学与计算机的论文，我想他们都能看懂，何况有设计好的程序。看看国外的同行们会怎样。
特此存照。
2017-6-27
https://blog.sciencenet.cn/blog-340399-1063180.html
上一篇：打破惯性思维才会有科学原创
下一篇：灵感来自知识的积累
