Research and Development on Multi-objective Optimization Solver based on Advanced Knowledge Representation and Reasoning Techniques
Research and Development on Multi-objective Optimization Solver based on Advanced Knowledge Representation and Reasoning Techniques
基于先进知识表示与推理技术的多目标优化求解器研究与开发
批准号：
18K11242
负责人：
Banbara Mutsunori
金额：
$2.83万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-04-01 至 2021-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(19)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
正規制約に対するSAT符号化手法の提案と評価 (ポスター)
正则约束的SAT编码方法的提出和评估（海报）
正则约束的SAT编码方法的提出和评估（海报）
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[生田哲也, 田村直之, 宋剛秀, 番原睦則]
通讯作者：
番原睦則
CEGARと反例の共有を用いたSAT型CSPソルバーの並列化方法の考察
利用CEGAR的SAT型CSP求解器并行化方法思考及反例分享
利用CEGAR的SAT型CSP求解器并行化方法思考及反例分享
DOI：
--
发表时间：
2020
期刊：
人工知能学会研究会資料
影响因子：
--
作者：
[宋剛秀, 鍋島英知, 番原睦則, 田村直之, 井上克巳]
通讯作者：
井上克巳
車両装備仕様問題に対する解集合プログラミングの適用
解集编程在车辆设备规范问题中的应用
解集编程在车辆设备规范问题中的应用
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[竹内頼人, 田村直之, 番原睦則]
通讯作者：
番原睦則
SATソルバーを用いた一層平面配置配線問題の解法に関する考察
利用SAT求解器求解单层平面布局布线问题的思考
利用SAT求解器求解单层平面布局布线问题的思考
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[三嶋哲平, 宋剛秀, 田村直之]
通讯作者：
田村直之
A SAT-based CSP Solver sCOP and its Results on 2018 XCSP3 Competition
基于 SAT 的 CSP 求解器 sCOP 及其在 2018 XCSP3 竞赛中的结果
基于 SAT 的 CSP 求解器 sCOP 及其在 2018 XCSP3 竞赛中的结果
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[Takehide Soh, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura]
通讯作者：
Naoyuki Tamura
共 18 条
海外基金