24小时热门版块排行榜    

CyRhmU.jpeg
查看: 1278  |  回复: 14

闻道

金虫 (正式写手)

[求助] 计算机专业帮忙看下这条意见怎么回复

审稿意见如下: Why reimplement a SAT solver instead of reusing, e.g., MiniSat?
我的程序里调用了SAT求解器,当时我自己实现了一个,而没有用已有的,然后我说用已有的高效求解器的话,我的程序可能效率更高。
我当时的想法是:之前自己有实现简单的SAT求解器,只要进行优化即可,直接用别人的还要先看懂,然后也不是拿来就能用,因此就没有用已有的。
但是直接说这个理由好像显得自己很偷懒似的,感觉不怎么好。应该怎样回答审稿人才显得理由比较充分呢,是不是也要将理由写在论文里面啊?
回复此楼

» 猜你喜欢

» 本主题相关价值贴推荐,对您同样有帮助:

闻道有先后,术业有专攻,如是而已。
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

xtli

木虫 (正式写手)

忍才是王道啊!

呵呵,做sat 啊,牛人
2楼2011-10-31 07:19:01
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

chuzhufei

铁杆木虫 (著名写手)

中场魔术师

【答案】应助回帖

闻道(金币+1): 谢谢回答 2011-11-20 19:43:12
闻道(金币+1): 谢谢回答 2011-11-20 19:44:04
闻道(金币+2): 谢谢回答 2011-12-16 22:10:56
闻道(金币+1): 谢谢回答 2011-12-16 22:11:03
你自己的SAT求解器是否被学术界广泛采用?审稿人对你的求解器不信任

minisat参加过多次SAT竞赛,是公认的较好的求解器,所以对其有疑问,用minisat只需知道几个命令和输入格式就行了把

如果你发表过你开发的SAT文章,就引用上,负责很难说服审稿人
3楼2011-10-31 09:34:10
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

闻道

金虫 (正式写手)

引用回帖:
2楼: Originally posted by xtli at 2011-10-31 07:19:01:
呵呵,做sat 啊,牛人

呵呵,我只是用了一下而已
闻道有先后,术业有专攻,如是而已。
4楼2011-10-31 10:17:01
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

闻道

金虫 (正式写手)

引用回帖:
3楼: Originally posted by chuzhufei at 2011-10-31 09:34:10:
你自己的SAT求解器是否被学术界广泛采用?审稿人对你的求解器不信任

minisat参加过多次SAT竞赛,是公认的较好的求解器,所以对其有疑问,用minisat只需知道几个命令和输入格式就行了把

如果你发表过你开发的 ...

没有发表过文章,但是我并不是要和minisat这样的高效求解器比较,我承认我用的求解器效率相对不高,但在我的程序里用了一个差一点的求解器效率也还凑合,这样不行吗?另外,现在换成minisat也没时间了,因为具体的问题域不同,可能需要对参数进行调整,所以要看懂代码,还要重新测试结果。
我想,现在唯一能做的就是找一个还算有说服力的理由
闻道有先后,术业有专攻,如是而已。
5楼2011-10-31 11:34:51
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

chuzhufei

铁杆木虫 (著名写手)

中场魔术师

【答案】应助回帖

引用回帖:
5楼: Originally posted by 闻道 at 2011-10-31 11:34:51:
没有发表过文章,但是我并不是要和minisat这样的高效求解器比较,我承认我用的求解器效率相对不高,但在我的程序里用了一个差一点的求解器效率也还凑合,这样不行吗?另外,现在换成minisat也没时间了,因为具体 ...

这个找理由比较难办阿
6楼2011-10-31 13:53:03
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

闻道

金虫 (正式写手)

引用回帖:
6楼: Originally posted by chuzhufei at 2011-10-31 13:53:03:
这个找理由比较难办阿

帮帮忙哦,谢谢了
闻道有先后,术业有专攻,如是而已。
7楼2011-10-31 14:23:03
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

lgsppq

木虫 (正式写手)

【答案】应助回帖

闻道(金币+1): 谢谢回答 2011-11-20 19:43:34
闻道(金币+1): 谢谢回答 2011-11-20 19:44:13
闻道(金币+2): 谢谢回答 2011-12-16 22:10:24
闻道(金币+1): 谢谢回答 2011-12-16 22:11:10
引用回帖:
5楼: Originally posted by 闻道 at 2011-10-31 11:34:51:
没有发表过文章,但是我并不是要和minisat这样的高效求解器比较,我承认我用的求解器效率相对不高,但在我的程序里用了一个差一点的求解器效率也还凑合,这样不行吗?另外,现在换成minisat也没时间了,因为具体 ...

效率不是主要的问题,如果坚持用你自己的,那么首要问题是证明它是正确的。这个没办法偷懒,否则别人怎么知道你是不是编造的数据呢。
8楼2011-10-31 14:56:38
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

闻道

金虫 (正式写手)

引用回帖:
8楼: Originally posted by lgsppq at 2011-10-31 14:56:38:
效率不是主要的问题,如果坚持用你自己的,那么首要问题是证明它是正确的。这个没办法偷懒,否则别人怎么知道你是不是编造的数据呢。

都是基于相同的算法实现的,就实现细节和优化技术不同,这个咋证明啊,难道给别人看代码吗
闻道有先后,术业有专攻,如是而已。
9楼2011-10-31 18:26:08
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

闻道

金虫 (正式写手)

10楼2011-11-01 19:05:01
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 闻道 的主题更新
信息提示
请填处理意见