A Large-scale Enumeration of Minimal Hitting Sets And Its Application to Knowledge Discovery
A Large-scale Enumeration of Minimal Hitting Sets And Its Application to Knowledge Discovery
大规模最小命中集枚举及其在知识发现中的应用
批准号：
26870011
负责人：
Toda Takahisa
金额：
$2.33万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-04-01 至 2018-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(28)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
ZDDと列挙問題 - 最新の技法とプログラミングツール
ZDD 和枚举问题 - 现代技术和编程工具
ZDD 和枚举问题 - 现代技术和编程工具
DOI：
--
发表时间：
2017
期刊：
日本ソフトウェア科学会論文誌 コンピュータソフトウェア
影响因子：
--
作者：
[戸田貴久, 斎藤寿樹, 岩下洋哲, 川原純, 湊真一]
通讯作者：
湊真一
Superset generation on decision diagrams
决策图上的超集生成
决策图上的超集生成
DOI：
10.1007/978-3-319-15612-5_28
发表时间：
2015
期刊：
Proc. 9th International Workshop on Algorithms and Computation (WALCOM 2015), Lecture Notes in Computer Science
影响因子：
--
作者：
[Takahisa Toda, Shogo Takeuchi, Koji Tsuda, Shin-ichi Minato]
通讯作者：
Shin-ichi Minato
A General Framework for Parallel Unary Operations on ZDDs
ZDD 上并行一元运算的通用框架
ZDD 上并行一元运算的通用框架
DOI：
10.1007/978-3-319-13186-3_44
发表时间：
2014
期刊：
Trends and Applications in Knowledge Discovery and Data Mining Lecture Notes in Computer Science
影响因子：
--
作者：
[Shogo Takeuchi, Takahisa Toda, Shin-ichi Minato]
通讯作者：
Shin-ichi Minato
Efficient Caching Mechanism in BDD Compilation
BDD编译中高效的缓存机制
BDD编译中高效的缓存机制
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[Takahisa Toda, Koji Tsuda]
通讯作者：
Koji Tsuda
DPLL型BDD構築法の改善
DPLL型BDD构建方法的改进
DPLL型BDD构建方法的改进
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[Takahisa Toda, Koji Tsuda, 増田 愛美・永井 隆哉・川野 潤, 戸田貴久]
通讯作者：
戸田貴久
共 27 条
Development of Practical Techniques for All Soltuion Enumeration of Large-scale Constraint Satisfaction Problems
-
批准号：17K17725
-
项目类别：Grant-in-Aid for Young Scientists (B)
-
资助金额：$2.75万
-
财政年份：2017
-
负责人：Toda Takahisa
-
依托单位：
海外基金