Research and Development of a New Constraint Programming System based on SAT
Research and Development of a New Constraint Programming System based on SAT
基于SAT的新型约束规划系统的研究与开发
批准号：
16H02803
负责人：
Tamura Naoyuki
金额：
$10.82万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-04-01 至 2019-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
リスタート戦略改善に向けた頻出決定変数パターンのマイニング
挖掘频繁决策变量模式以改进重启策略
挖掘频繁决策变量模式以改进重启策略
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[小粥勇作, 松村嘉之, 星野 雄介, 福田 晴喜，鍋島 英知]
通讯作者：
福田 晴喜，鍋島 英知
DOI：
10.1527/tjsai.a-i91
发表时间：
2019
期刊：
Transactions of the Japanese Society for Artificial Intelligence
影响因子：
--
作者：
[Sheng Xu, Fumiyo Fukumoto, Jiyi Li, and Yoshimi Suzuki, 藤井 樹，伊藤 靖展，鍋島 英知]
通讯作者：
藤井 樹，伊藤 靖展，鍋島 英知
解集合プログラミングを用いたナンバーリンクの解法に関する一考察
基于解集规划的数环求解方法研究
基于解集规划的数环求解方法研究
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[坡山直樹, 川原征大, 迫龍哉, 番原睦則]
通讯作者：
番原睦則
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
期刊：
情報処理
影响因子：
--
作者：
[田村直之, 宋剛秀, 番原睦則]
通讯作者：
番原睦則
共 63 条