A fast Boolean satisfiability problem solver by shortening the proof
A fast Boolean satisfiability problem solver by shortening the proof
通过缩短证明来快速解决布尔可满足性问题
批准号：
17K00300
负责人：
NABESHIMA Hidetomo
金额：
$2.75万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2020-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
決定的ポートフォリオ型並列 SAT ソルバー ManyGlucose
确定性投资组合并行 SAT 求解器 ManyGlucose
确定性投资组合并行 SAT 求解器 ManyGlucose
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
リスタート戦略改善に向けた頻出決定変数パターンのマイニング
挖掘频繁决策变量模式以改进重启策略
挖掘频繁决策变量模式以改进重启策略
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[小粥勇作, 松村嘉之, 星野 雄介, 福田 晴喜，鍋島 英知]
通讯作者：
福田 晴喜，鍋島 英知
DOI：
10.1527/tjsai.a-i91
发表时间：
2019
期刊：
Transactions of the Japanese Society for Artificial Intelligence
影响因子：
--
作者：
[Sheng Xu, Fumiyo Fukumoto, Jiyi Li, and Yoshimi Suzuki, 藤井 樹，伊藤 靖展，鍋島 英知]
通讯作者：
藤井 樹，伊藤 靖展，鍋島 英知
Recent Advances in SAT Solvers and their Utilization Technologies.
SAT 求解器及其应用技术的最新进展。
SAT 求解器及其应用技术的最新进展。
DOI：
10.11309/jssst.35.72
发表时间：
2018
期刊：
Computer Software
影响因子：
--
作者：
[宋 剛秀, 番原 睦則, 田村 直之, 鍋島 英知]
通讯作者：
鍋島 英知
大規模な SAT 問題を圧縮したまま解くソルバーの開発
开发解决大规模 SAT 问题并保持压缩的求解器
开发解决大规模 SAT 问题并保持压缩的求解器
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[早瀬 悠真, 鍋島 英知]
通讯作者：
鍋島 英知
共 14 条
A Study of Accelerating Boolean Satisfiability Solvers
-
批准号：26330248
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$3.08万
-
财政年份：2014
-
负责人：NABESHIMA Hidetomo
-
依托单位：
A study on a practical consequence finding system
-
批准号：23700164
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.75万
-
财政年份：2011
-
负责人：NABESHIMA Hidetomo
-
依托单位：
A Study of Advanced and Effective SAT Planning and Scheduling
-
批准号：19700135
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.44万
-
财政年份：2007
-
负责人：NABESHIMA Hidetomo
-
依托单位：