オチ ヒロユキ
越智 裕之
OCHI HIROYUKI
所属 情報理工学部 情報理工学科
職名 教授
言語種別 英語
発行・発表の年月 2000/12
形態種別 研究論文(学術雑誌)
査読 査読あり
標題 An Algorithm for Generating Generic BDDs
執筆形態 共著
掲載誌名 IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
巻・号・頁 Vol.E83-A(12),(2505-2512)
著者・共著者 Tetsushi Katayama, Hiroyuki Ochi, and Takao Tsuda