Manipulation of Large-Scale Polynomials Using BMDs : Special Section on VLSI Design and CAD Algorithms

ROTTER, Dror; HAMAGUCHI, Kiyoharu; MINATO, Shin-ichi et al.

IEICE transactions on fundamentals of electronics, communications and computer sciences, 1997, E80(A10), 1774-1781

Permalink : https://hdl.handle.net/2115/47397

このアイテムのアクセス数:748件（2026-02-10 15:29 集計）

ファイル	フォーマット	サイズ	閲覧回数	説明
50_ieice_1997	pdf	1.77 MB	939

アクセス権	open access
URI	https://hdl.handle.net/2115/47397
タイトル	Manipulation of Large-Scale Polynomials Using BMDs : Special Section on VLSI Design and CAD Algorithms
著者	ROTTER, Dror ; HAMAGUCHI, Kiyoharu ; MINATO, Shin-ichi ; YAJIMA, Shuzo
著者名 ROTTER, Dror
著者名 HAMAGUCHI, Kiyoharu
e-Rad_Researcher 10374612 著者名 MINATO, Shin-ichi
著者名 YAJIMA, Shuzo
言語	英語
キーワード	zero-suppressed binary decision diagrams
	binary moment diagrams
	polynomials
発行日	1997-10-25
出版者	電子情報通信学会
収録物名	IEICE transactions on fundamentals of electronics, communications and computer sciences
巻(号)	E80(A10)
ページ	1774-1781
抄録	Minato has proposed a canonical representation for polynomial functions using zero-suppressed binary decision diagrams (ZBDDs). In this paper, we extend binary moment diagrams (BMDs) proposed by Bryant and Chen to handle variables with degrees higher than 1. The experimental results show that this approach is much more efficient than the previous ZBDDs' approach. The proposed approach is expected to be useful for various problems, in particular, for computer algebra.
資源タイプ	学術雑誌論文
出版タイプ	Version of Record
権利情報	copyright©1997 IEICE
PISSN	0916-8508