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
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. , pp. 574-575, April 2010, doi:10.1109/TC.2009.121
106 ms
(Ver 3.1 (10032016))