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


Hokkaido University \| Library \| HUSCAP	Advanced Search		言語

	Home
	About HUSCAP
	Open Access Policy

	Browse by Author

Browse
	Communities & Collections

	Scholarly Journals
	Theses
	Doctoral Dissertations Listed by Graduate Schools
	Conference Procs.
	Events

	HUSCAP Senior (in Japanese)

	Societies

	Downloads (country)

For university staff
	How to post your papers to HUSCAP
	Publication of theses
	Helpline about theses publication

Open Archives Compliant

You can search our collection also at:
	Google
	Google Scholar
	CiNii
	IRDB
	OAIster
	NDLTD

Files in This Item:

50_ieice_1997.pdf

1.81 MB

PDF

Please use this identifier to cite or link to this item:http://hdl.handle.net/2115/47397

Title:	Manipulation of Large-Scale Polynomials Using BMDs : Special Section on VLSI Design and CAD Algorithms
Authors:	ROTTER, Dror Browse this author
	HAMAGUCHI, Kiyoharu Browse this author
	MINATO, Shin-ichi Browse this author →KAKEN DB
	YAJIMA, Shuzo Browse this author
Keywords:	zero-suppressed binary decision diagrams
	binary moment diagrams
	polynomials
Issue Date:	25-Oct-1997
Publisher:	電子情報通信学会
Journal Title:	IEICE transactions on fundamentals of electronics, communications and computer sciences
Volume:	E80
Issue:	A10
Start Page:	1774
End Page:	1781
Abstract:	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.
Rights:	copyright©1997 IEICE
Type:	article
URI:	http://hdl.handle.net/2115/47397
Appears in Collections:	情報科学院・情報科学研究院 (Graduate School of Information Science and Technology / Faculty of Information Science and Technology) > 雑誌発表論文等 (Peer-reviewed Journal Articles, etc)

Submitter: 湊真一

OAI-PMH ( junii2 , jpcoar_1.0 )

- Hokkaido University