Acceleration of SAT-based CSP Solvers using MDD
Acceleration of SAT-based CSP Solvers using MDD
使用 MDD 加速基于 SAT 的 CSP 求解器
批准号：
20K11748
负责人：
Soh Takehide
金额：
$2.75万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2020
资助国家：
日本
项目状态：
已结题
起止时间：
2020-04-01 至 2023-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(15)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
SATソルバーを用いた一層平面配置配線問題の解法に関する考察
利用SAT求解器求解单层平面布局布线问题的思考
利用SAT求解器求解单层平面布局布线问题的思考
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[三嶋哲平, 宋剛秀, 田村直之]
通讯作者：
田村直之
XCSP Competitions
XCSP竞赛
XCSP竞赛
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Supplemental Material for Bioinformatics 2023
2023 年生物信息学补充材料
2023 年生物信息学补充材料
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
宋 剛秀 (業績，ソフトウェアへのリンク)
Gangsoo Song（成就、软件链接）
Gangsoo Song（成就、软件链接）
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Satisfiability Testing of Propositional Modal Logic K with Answer Set Programming
用答案集编程命题模态逻辑K的可满足性检验
用答案集编程命题模态逻辑K的可满足性检验
DOI：
10.11517/pjsai.jsai2020.0_2n5os17b05
发表时间：
2020
期刊：
Proceedings of the Annual Conference of JSAI
影响因子：
--
作者：
[飯野有軌, 田村直之, 宋剛秀, 番原睦則, 井上克巳]
通讯作者：
井上克巳
共 14 条
High Performance SAT-based Constraint Programming System using Hybrid Encoding
-
批准号：16K16036
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.5万
-
财政年份：2016
-
负责人：Soh Takehide
-
依托单位：
Research and Development of Constraint Programming Systems for Metabolic Pathway Analysis
-
批准号：25730042
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$1.5万
-
财政年份：2013
-
负责人：Soh Takehide
-
依托单位：