Computational Complexity of Tree Evaluation Problems and Branching Program Satisfiability Problems
京都大学 === 0048 === 新制・課程博士 === 博士(情報学) === 甲第19129号 === 情博第575号 === 新制||情||101(附属図書館) === 32080 === 京都大学大学院情報学研究科通信情報システム専攻 === (主査)教授 岩間 一雄, 教授 髙木 直史, 教授 五十嵐 淳 === 学位規則第4条第1項該当 === Doctor of Informatics === Kyoto University === DFAM...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Doctoral Thesis |
| Language: | English |
| Published: |
京都大学 (Kyoto University)
2015
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/2433/199453 |