Development of Fast Parallel SAT Solvers Using Problem Structure
Development of Fast Parallel SAT Solvers Using Problem Structure
使用问题结构开发快速并行 SAT 求解器
批准号：
15K16057
负责人：
Sonobe Tomohiro
金额：
$0.83万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2017-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(2)
专著(0)
科研奖励(0)
会议论文
Looking Inside Literal Blocks: Towards Mining More Promising Learnt Clauses in SAT Solving
深入探究文字块：在 SAT 解答中挖掘更有前景的学习子句
深入探究文字块：在 SAT 解答中挖掘更有前景的学习子句
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Hiroki Teranishi, Hiroyuki Shindo, Yuji Matsumoto, Tomohiro Sonobe]
通讯作者：
Tomohiro Sonobe
コミュニティ構造を利用した並列SATソルバの学習節共有手法の提案
使用社区结构的并行 SAT 求解器学习子句共享方法的提出
使用社区结构的并行 SAT 求解器学习子句共享方法的提出
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Minh-Tien Nguyen, Chien-Xuan Tran, Duc-Vu Tran, and Minh-Le Nguyen, 薗部知大]
通讯作者：
薗部知大
Development of a SAT Solver Based on Extened Resolution
-
批准号：17K12742
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$1.58万
-
财政年份：2017
-
负责人：Sonobe Tomohiro
-
依托单位：
海外基金