タイトル：Logic Optimization: Redundancy Addition and Removal Using Implication Relations
著者: Hideyuki Ichihara, Kozo Kinoshita
雑誌名：IEICE Trans. Inf. and Syst.
Volume: E81-D
Number: 7
ページ: 724-730
発行月: 7
発行年: 1998
タイプ: article
アブストラクト: NULL
タイトル：Logic Optimization: Redundancy Addition and Removal Using Implication Relations
著者: Hideyuki Ichihara, Kozo Kinoshita
雑誌名：IEICE Trans. Inf. and Syst.
Volume: E81-D
Number: 7
ページ: 724-730
発行月: 7
発行年: 1998
タイプ: article
アブストラクト: NULL
