Subscribe

Issue No.04 - April (2010 vol.59)

pp: 574-575

Ondřej Lhoták , University of Waterloo, Waterloo

Stephen Curial , Xymbiant Systems Inc., Edmonton

José Nelson Amaral , University of Alberta, Edmonton

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TC.2009.121

ABSTRACT

The contribution is an optimal encoding for a set in a Reduced Ordered Binary Decision Diagram (ROBDD) when the number of elements in the set's domain is not a power of 2. The contribution includes a proof that the proposed encoding produces an ROBDD with the minimum number of nodes and discusses related open problems that are not solved by the proposed encoding.

INDEX TERMS

Binary decision diagram, binary encoding, set representation.

CITATION

Ondřej Lhoták, Stephen Curial, José Nelson Amaral, "An Optimal Encoding to Represent a Single Set in an ROBDD",

*IEEE Transactions on Computers*, vol.59, no. 4, pp. 574-575, April 2010, doi:10.1109/TC.2009.121REFERENCES