Studies on Implicit Graph Enumeration Using Decision Diagrams
京都大学 === 新制・課程博士 === 博士(情報学) === 甲第23548号 === 情博第778号 === 新制||情||132(附属図書館) === 京都大学大学院情報学研究科通信情報システム専攻 === (主査)教授 湊 真一, 教授 山本 章博, 准教授 川原 純 === 学位規則第4条第1項該当 === Doctor of Informatics === Kyoto University === DFAM...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Doctoral Thesis |
| Language: | English |
| Published: |
Kyoto University
2021
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/2433/266076 |