The Community for Technology Leaders
Green Image
Issue No. 04 - April (2010 vol. 59)
ISSN: 0018-9340
pp: 574-575
Ondřej Lhoták , University of Waterloo, Waterloo
Stephen Curial , Xymbiant Systems Inc., Edmonton
José Nelson Amaral , University of Alberta, Edmonton
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.
Binary decision diagram, binary encoding, set representation.

O. Lhoták, S. Curial and J. N. Amaral, "An Optimal Encoding to Represent a Single Set in an ROBDD," in IEEE Transactions on Computers, vol. 59, no. , pp. 574-575, 2009.
88 ms
(Ver 3.3 (11022016))