Issue No. 04 - April (2010 vol. 59)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TC.2009.121
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.