|||
整整一年的时间,劳心费神,不得安睡,甚至有冒生命危险的冥思苦想,在多种设计方法的过滤中,还是子句消去法获得了最后的胜利!如今一切疑问都解决了,真是感到了那种久违的轻松。半夜爬起来写的事情,今后不能干了。不到一个月就是我人生七十大寿,解决了3SAT问题,是给自己最好的礼物。
半夜又跳起来解答了最后的疑问,决定今日将论文投出去。信心满满。。。
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-9-27 09:31
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社