-
[文献書誌] Qiang Zhu,Yusuke Matsunaga,Shinji Kimura and Katsumasa Watanabe: "Robust Heuristics for Multi-Level Logic Simplification Considering Local Circuit Structure"IEICE Transactions on Fundamentals. Vol.E83-A,No.12. 2520-2527 (2000)
-
[文献書誌] Kazuhiro Nakamura,Shinji Maruoka,Shinji Kimura and Katsumasa Watanabe: "Multi-Cycle Path Detection Based on Propositional Satisfiability with CNF Simplification Using Adaptive Variable Insertion"IEICE Transactions on Fundamentals. Vol.E83-A,No.12. 2600-2607 (2000)
-
[文献書誌] Takashi Horiyama and Toshihide Ibaraki: "Reasoning with Ordered Binary Decision Diagrams"Proceedings of the 11th Annual International Symposium on Algorithms and Computation, Lecture Notes in Computer Science 1969. 120-131 (2000)
-
[文献書誌] Masaki Nakanishi,Kiyoharu Hamaguchi and Toshinobu Kashiwabara: "Ordered Quantum Branching Programs Are More Powerful than Orderd Probabilistic Branching Programs under a Bounded-Width Restriction"Proceedings of 6th Annual International Computing and Combinatorics Conference,LNCS 1858. 467-476 (2000)
-
[文献書誌] 渡邉勝正,相良かおる,山下隆義,木村晋二: "不安全な記述からの推測による手指動作の3次元アニーメション表示"電子情報通信学会,第3回手話情報学研究会. 25-32 (2001)
-
[文献書誌] 鬼頭秀明,高木一義,木村晋二,高木直史: "再構成可能部を持つJavaプロセッサにおけるハードウェアJIT機構の検討"電子情報通信学会コンピュータシステム研究会. CPSY2000-65. (2000)