CFLOBDD

AcronymDefinition
CFLOBDDContext-Free Language Ordered Binary Decision Diagram