Development of a SAT Solver Based on Extened Resolution
Development of a SAT Solver Based on Extened Resolution
基于扩展分辨率的 SAT 求解器的开发
批准号：
17K12742
负责人：
Sonobe Tomohiro
金额：
$1.58万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2023-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(3)
专著(0)
科研奖励(0)
会议论文
SATソルバを参考にした行列のフルランク性の判定手法
使用 SAT 求解器作为参考确定矩阵满秩的方法
使用 SAT 求解器作为参考确定矩阵满秩的方法
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[Daisuke Hatano, Yuko Kuroki, Yasushi Kawase, Hanna Sumita, Naonori Kakimura, Ken-ichi Kawarabayashi, Sonobe Tomohiro, Sonobe Tomohiro, 町出智也,薗部知大]
通讯作者：
町出智也,薗部知大
Variable Selection with PageRank for SAT Solvers
SAT 求解器的 PageRank 变量选择
SAT 求解器的 PageRank 变量选择
DOI：
10.3844/jcssp.2019.1074.1084
发表时间：
2019
期刊：
Journal of Computer Science
影响因子：
--
作者：
[Daisuke Hatano, Yuko Kuroki, Yasushi Kawase, Hanna Sumita, Naonori Kakimura, Ken-ichi Kawarabayashi, Sonobe Tomohiro, Sonobe Tomohiro]
通讯作者：
Sonobe Tomohiro
An Experimental Survey of Extended Resolution Effects for SAT Solvers on the Pigeonhole Principle
SAT 求解器扩展分辨率效应对鸽巢原理的实验研究
SAT 求解器扩展分辨率效应对鸽巢原理的实验研究
DOI：
10.3390/a15120479
发表时间：
2022
期刊：
Algorithms
影响因子：
2.3
作者：
[Huang Xiao, Orimoto Yuuichi, Aoki Yuriko, Sonobe Tomohiro]
通讯作者：
Sonobe Tomohiro
Development of Fast Parallel SAT Solvers Using Problem Structure
-
批准号：15K16057
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$0.83万
-
财政年份：2015
-
负责人：Sonobe Tomohiro
-
依托单位：
海外基金