ROBDD

AcronymDefinition
ROBDDReduced Ordered Binary Decision Diagram