Concept

Binary decision diagram