High Performance SAT-based Constraint Programming System using Hybrid Encoding
High Performance SAT-based Constraint Programming System using Hybrid Encoding
使用混合编码的高性能基于 SAT 的约束编程系统
批准号：
16K16036
负责人：
Soh Takehide
金额：
$2.5万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-04-01 至 2019-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(41)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Diet-Sugar: SATソルバーを用いたCSPソルバー
Diet-Sugar：使用 SAT 求解器的 CSP 求解器
Diet-Sugar：使用 SAT 求解器的 CSP 求解器
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
SAT-based Constraint Programming Systems and Related Technologies
基于SAT的约束规划系统及相关技术
基于SAT的约束规划系统及相关技术
DOI：
10.11309/jssst.34.1_67
发表时间：
2017
期刊：
Computer Software
影响因子：
--
作者：
[宋剛秀, 番原睦則, 田村直之]
通讯作者：
田村直之
SATとパズル
SAT 和谜题
SAT 和谜题
DOI：
--
发表时间：
2016
期刊：
情報処理
影响因子：
--
作者：
[田村直之, 宋剛秀, 番原睦則]
通讯作者：
番原睦則
SAT型制約ソルバーを用いた3次元ナンバーリンクの解法
使用 SAT 类型约束求解器的 3D 数字链接求解
使用 SAT 类型约束求解器的 3D 数字链接求解
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[寸田智也, 南雄之, 宋剛秀, 田村直之]
通讯作者：
田村直之
制約充足問題のASP符号化に関する一考察
约束满足问题的ASP编码研究
约束满足问题的ASP编码研究
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[坡山直樹, 番原睦則, 宋剛秀, 田村直之]
通讯作者：
田村直之
共 37 条
Acceleration of SAT-based CSP Solvers using MDD
-
批准号：20K11748
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.75万
-
财政年份：2020
-
负责人：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
-
依托单位：