-
[文献書誌] T.Horiyama, T.Ibaraki: "Ordered Binary Decision Diagrams as Knowledge-Bases"Artificial Intelligence. Vol.136/2. 189-213 (2002)
-
[文献書誌] 梶原裕嗣, 堀山貴史, 中西正樹, 木村晋二, 渡邉勝正: "論理関数の畳み込みを考慮したLook Up Tableの設計と実現"Proc. IPSJ DA Symposium. 223-228 (2002)
-
[文献書誌] S.Kimura, T.Horiyama, M.Nakanishi, H.Kaiihara: "Folding of Logic Functions and Its Application to Look Up Table Compaction"Proc. International Conference on Computer Aided Design. (2002)
-
[文献書誌] T.Horiyama, T.Ibaraki: "Translation among CNFs, Characteristic Models and Ordered Binary Decision Diagrams"Information Processing Letters. Vol.85,No.4. 191-198 (2003)