A Study on EPR Prover for Solving Large-scale SAT Problems
A Study on EPR Prover for Solving Large-scale SAT Problems
解决大规模SAT问题的EPR证明器研究
批准号：
21300054
负责人：
HASEGAWA Ryuzo
金额：
$11.32万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2009
资助国家：
日本
项目状态：
已结题
起止时间：
2009 至 2012
中文摘要
翻译
结合SAT技术和模型生成技术，开展大规模约束满足/优化问题求解技术研究，发表论文9篇，演讲36次。此外，还开发了世界领先的QMaxSAT和SCMiniSat软件。QMaxSAT在2010年、2011年和2012年的工业类别Max-SAT评估中获胜，SCMiniSat将拉姆齐数R（4,8）的下限从56提高到58。
英文摘要
We conducted the research on technologies solving large-scale Constraint Satisfaction/Optimization Problems by combining SAT technologies and model generation technologies, and published 9 refereed papers and made 36 presentations. In addition, world’s leading softwares QMaxSAT and SCMiniSat were developed. QMaxSAT won at the 2010, 2011, and 2012 Max-SAT evaluations in an industrial category and SCMiniSat increased the lower bound of Ramsey number R(4,8) from 56 to 58.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
A New Lower Bound for the Ramsey
拉姆齐的新下限
拉姆齐的新下限
DOI：
--
发表时间：
2012
期刊：
CoRR abs
影响因子：
--
作者：
[H. Fujita]
通讯作者：
H. Fujita
極小モデル生成器MiniMGの試作
最小模型生成器 MiniMG 原型
最小模型生成器 MiniMG 原型
DOI：
--
发表时间：
2010
期刊：
九州大学大学院システム情報科学紀要
影响因子：
--
作者：
[Shusaku Tsumoto, Shoji Hirano, 矢野 明浩,中村 徹,長谷川 隆三,藤田 博,越村 三幸]
通讯作者：
矢野 明浩,中村 徹,長谷川 隆三,藤田 博,越村 三幸
Partial Max-SATソルバーQMaxSATの評価
Partial Max-SAT 求解器 QMaxSAT 的评估
Partial Max-SAT 求解器 QMaxSAT 的评估
DOI：
--
发表时间：
2011
期刊：
影响因子：
--
作者：
[吉川正祥, 篠崎隆宏, 岩野公司, 古井貞煕, 越村三幸]
通讯作者：
越村三幸
実験システム,実験支援方法,および実験支援プログラム
实验系统、实验支持方法以及实验支持程序
实验系统、实验支持方法以及实验支持程序
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
[]
通讯作者：
DOI：
10.3233/sat190091
发表时间：
2012-07
期刊：
J. Satisf. Boolean Model. Comput.
影响因子：
--
作者：
[Miyuki Koshimura;Tong Zhang;H. Fujita;R. Hasegawa]
通讯作者：
Miyuki Koshimura;Tong Zhang;H. Fujita;R. Hasegawa
共 38 条
Study on Language Processing for Plastic Cell Architecture
-
批准号：14580380
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$1.66万
-
财政年份：2002
-
负责人：HASEGAWA Ryuzo
-
依托单位：
Building a Distributed Knowledge Information System Based on Model Generation
-
批准号：08458080
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$3.65万
-
财政年份：1996
-
负责人：HASEGAWA Ryuzo
-
依托单位：