How to Encode a Logical Structure by an OBDD

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by H. Veith

13th Annual IEEE Conference on Computational Complexity (CoCo'98)

Buffalo, New York

June 15-June 18

ISBN: 0-8186-8395-3

	ASCII Text	x
	H. Veith, "How to Encode a Logical Structure by an OBDD," Computational Complexity, Annual IEEE Conference on, pp. 122, 13th Annual IEEE Conference on Computational Complexity (CoCo'98), 1998.

	BibTex	x
	@article{ 10.1109/CCC.1998.694598, author = {H. Veith}, title = {How to Encode a Logical Structure by an OBDD}, journal ={Computational Complexity, Annual IEEE Conference on}, volume = {0}, year = {1998}, issn = {1093-0159}, pages = {122}, doi = {http://doi.ieeecomputersociety.org/10.1109/CCC.1998.694598}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Computational Complexity, Annual IEEE Conference on TI - How to Encode a Logical Structure by an OBDD SN - 1093-0159 SP EP A1 - H. Veith, PY - 1998 VL - 0 JA - Computational Complexity, Annual IEEE Conference on ER -

Citation:

H. Veith, "How to Encode a Logical Structure by an OBDD," ccc, pp.122, 13th Annual IEEE Conference on Computational Complexity (CoCo'98), 1998

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