Least Upper Bounds on the Sizes of Symmetric Variable Order based OBDDs

Ames, IA March 22-March 23

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/GLSV.1996.497607

6th Great Lakes Symposium on VLSI

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by L. Litan Articles by P. Molitor Articles by D. Möller

	ASCII Text	x
	L. Litan, P. Molitor, D. Möller, "Least Upper Bounds on the Sizes of Symmetric Variable Order based OBDDs," Great Lakes Symposium on VLSI, pp. 0126, 6th Great Lakes Symposium on VLSI, 1996.

	BibTex	x
	@article{ 10.1109/GLSV.1996.497607, author = {L. Litan and P. Molitor and D. Möller}, title = {Least Upper Bounds on the Sizes of Symmetric Variable Order based OBDDs}, journal ={Great Lakes Symposium on VLSI}, volume = {0}, year = {1996}, isbn = {0-8186-7502-0}, pages = {0126}, doi = {http://doi.ieeecomputersociety.org/10.1109/GLSV.1996.497607}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Great Lakes Symposium on VLSI TI - Least Upper Bounds on the Sizes of Symmetric Variable Order based OBDDs SN - 0-8186-7502-0 SP EP A1 - L. Litan, A1 - P. Molitor, A1 - D. Möller, PY - 1996 VL - 0 JA - Great Lakes Symposium on VLSI ER -

L. Litan, University of Halle, Germany

P. Molitor, University of Halle, Germany

D. Möller, University of Halle, Germany

This paper investigates the sizes of symmetric variable order based reduced binary decision diagrams for partially symmetric Boolean functions. It gives exact bounds for the maximum number of nonterminal vertices for the cases that the set of symmetric variables is treated as block which is located either at the front or at the back of the variable order.

Citation:

L. Litan, P. Molitor, D. Möller, "Least Upper Bounds on the Sizes of Symmetric Variable Order based OBDDs," glsvlsi, pp.0126, 6th Great Lakes Symposium on VLSI, 1996

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.