ROBDDReduced Ordered Binary Decision Diagram
Copyright 1988-2018, All rights reserved.
References in periodicals archive ?
The insight that emerges is that Sharing gives a "truth-table-like" representation of certain Boolean functions, whereas Pos usually is implemented using much more compact, symbolic representations of Boolean functions, such as reduced order binary decision diagrams (ROBDDs) [Bryant 1992].
To a large extent this has been due to the fact that Boolean functions are well understood, and efficient representations, such as ROBDDs [Bryant 1992], are available.