24小时热门版块排行榜    

查看: 1570  |  回复: 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的回帖
相关版块跳转 我要订阅楼主 闻道 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +3 u1xkze8ybe 2026-07-30 7/350 2026-07-31 12:10 by syhhffkrym
[论文投稿] 售SCI一区T0P文章,我:8.O.55.1.O.5.4,科目全,可+急 +3 u1xkze8ybe 2026-07-30 3/150 2026-07-31 12:08 by syhhffkrym
[硕博家园] 售SCI一区T0P文章,我:8.O.55.1.O.5.4,科目全,可+急 +3 u1xkze8ybe 2026-07-30 6/300 2026-07-31 12:05 by syhhffkrym
[教师之家] 基础研究怎么拉横向,学校到款任务越来越多,难以完成 拉横向,都有哪些途径啊 +6 锦衣卫寒战 2026-07-28 6/300 2026-07-31 11:27 by syl200707
[高分子] HXDI做水性聚氨酯乳液,是不是特别容易出渣 15+3 yuyusuv 2026-07-29 3/150 2026-07-31 09:21 by huizingga
[基金申请] 小木虫看见有人已经知道结果了 +15 1234567wang 2026-07-25 19/950 2026-07-31 08:30 by ZJTJZ
[基金申请] 2026年国自然面上资助率 +8 布布和一二 2026-07-30 8/400 2026-07-31 01:51 by alongwaytogo
[基金申请] 系统今天又提示维护了,估计离放榜不远了 +11 winnerche 2026-07-29 15/750 2026-07-30 23:08 by jnhyjjm
[基金申请] 微信指数没变化,科研之友没阅读 +14 wangze12014 2026-07-28 17/850 2026-07-30 20:10 by kissu88
[考博] 申请2027年材料/化学类博士 10+3 考研老狗? 2026-07-25 5/250 2026-07-30 19:33 by 白色木鱼
[基金申请] 你们的时间戳变了吗 +3 archvillain 2026-07-30 4/200 2026-07-30 18:53 by levinzhwen
[基金申请] 今年的WR进展到哪一步了? +5 wsgjhwz 2026-07-25 9/450 2026-07-30 12:59 by 可淡不可忘
[有机交流] 产物和副产物价值比较 30+4 小汤02 2026-07-27 5/250 2026-07-30 12:44 by czyzsu
[基金申请] 时间戳他又来了 +14 晓晓爱翠翠 2026-07-26 17/850 2026-07-29 16:30 by 呵呵二哥
[有机交流] 这个自发加氧反应的机理是什么? 50+4 YUAN2273 2026-07-25 7/350 2026-07-29 12:27 by xiaobenpu
[基金申请] 没消息就是被刷了呗 +13 lambert2014 2026-07-24 14/700 2026-07-29 10:38 by msh145800
[基金申请] 这种情况还有戏吗 +5 drbart 2026-07-27 11/550 2026-07-29 05:50 by drbart
[基金申请] 同事接到电话了,我却没有 +4 1234567wang 2026-07-27 4/200 2026-07-28 10:11 by GOODLUCKER
[基金申请] 准备明年的基金了 +5 Tide man 2026-07-27 5/250 2026-07-28 09:25 by newfuzzy1
[分析] 水蒸气蒸馏法乳化现象 +3 月光娇娇 2026-07-26 3/150 2026-07-26 23:25 by caiyun
信息提示
请填处理意见