Research and Development on Constraint Answer Set Programming Using SAT Encoding
Research and Development on Constraint Answer Set Programming Using SAT Encoding
SAT编码约束答案集编程的研究与进展
批准号：
15K00099
负责人：
BANBARA Mutsunori
金额：
$2.91万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2018-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
解集合プログラミングを用いたナンバーリンクの解法に関する一考察
基于解集规划的数环求解方法研究
基于解集规划的数环求解方法研究
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[坡山直樹, 川原征大, 迫龍哉, 番原睦則]
通讯作者：
番原睦則
順序符号化と対数符号化を融合した制約充足問題のハイブリッド符号化
结合序数编码和对数编码的约束满足问题的混合编码
结合序数编码和对数编码的约束满足问题的混合编码
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[宋剛秀, 番原睦則, 田村直之]
通讯作者：
田村直之
University of Ferrara(イタリア)
费拉拉大学（意大利）
费拉拉大学（意大利）
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
期刊：
情報処理
影响因子：
--
作者：
[田村直之, 宋剛秀, 番原睦則]
通讯作者：
番原睦則
共 46 条
Automatic Test Case Generation for Combinatorial Testing Using Various Logical Inference Engines
-
批准号：22700032
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.41万
-
财政年份：2010
-
负责人：BANBARA Mutsunori
-
依托单位：
A Prolog-Based Parallel Execution System for Multiple SAT Solvers
-
批准号：19700025
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.09万
-
财政年份：2007
-
负责人：BANBARA Mutsunori
-
依托单位：
海外基金