Development of Practical Techniques for All Soltuion Enumeration of Large-scale Constraint Satisfaction Problems
Development of Practical Techniques for All Soltuion Enumeration of Large-scale Constraint Satisfaction Problems
大规模约束满足问题全解枚举实用技术的发展
批准号：
17K17725
负责人：
Toda Takahisa
金额：
$2.75万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2022-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(17)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
不確実性下における複合イベント処理に関する考察
不确定性下复杂事件处理的思考
不确定性下复杂事件处理的思考
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
[夏 涛, 戸田 貴久]
通讯作者：
戸田 貴久
DOI：
10.2197/ipsjjip.29.630
发表时间：
2021
期刊：
Journal of Information Processing
影响因子：
--
作者：
[Takahisa Toda, Takeru Inoue]
通讯作者：
Takeru Inoue
誤りの効果的な説明のための反例空間解析
有效错误解释的反例空间分析
有效错误解释的反例空间分析
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[Nomura, S. and Ogata, Y., 大澤隆将, 張 文鋭・藤井 孝太郎・丹羽 栄貴・八島 正知, George O'Neal & Hokuto Kamata, 横井 浩史，矢吹 佳子，東郷 俊太，姜 銀来，加藤 龍，杉 正夫, 塚原直樹, 戸田貴久]
通讯作者：
戸田貴久
Exact Method for Generating Strategy-Solvable Sudoku Clues
生成可解决策略的数独线索的精确方法
生成可解决策略的数独线索的精确方法
DOI：
10.3390/a13070171
发表时间：
2020
期刊：
Algorithms
影响因子：
2.3
作者：
[Kohei Nishikawa, Takahisa Toda]
通讯作者：
Takahisa Toda
モデル検査における反例発見から反例列挙への拡張
模型检验中反例发现扩展到反例枚举
模型检验中反例发现扩展到反例枚举
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[Kawano, J., 戸田貴久]
通讯作者：
戸田貴久
共 17 条
A Large-scale Enumeration of Minimal Hitting Sets And Its Application to Knowledge Discovery
-
批准号：26870011
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.33万
-
财政年份：2014
-
负责人：Toda Takahisa
-
依托单位：