Issue No.04 - April (2010 vol.59)
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
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.
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.121