An Optimal Encoding to Represent a Single Set in an ROBDD

Ondrej Lhoták, Stephen Curial, José Nelson Amaral. An Optimal Encoding to Represent a Single Set in an ROBDD. IEEE Transactions on Computers, 59(4):574-575, 2010. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.