ROBDD

AcronymDefinition
ROBDDReduced Ordered Binary Decision Diagram
References in periodicals archive ?
While the clown arrow operation is not logical, it can be implemented as an ROBDD operation, and together with the more compact representation, we expect this to lead to more efficient implementations of set-sharing analyses.