"Hiroto;Kagotani|Yuji;Sugiyama|Takuji;Okamoto|","パイプライン化依存性グラフを簡単化するための効率的な等価性判定アルゴリズム","The IEICE Transactions on Electronics","18810225","2017-06-01","J100-D","6","616","626","","","","https://ousar.lib.okayama-u.ac.jp/55178","10.14923/transinfj.2016JDP7108" "Tokumi;Yokohira|Toshimi;Shimizu|Hiroyuki;Michinishi|Yuji;Sugiyama|Takuji;Okamoto|","Minimum test sets for locally exhaustive testing of combinational circuits with five outputs","Test Symposium","","1994-11-15","","","280","285","","","","https://ousar.lib.okayama-u.ac.jp/30057","10.1109/ATS.1994.367218"