An Ode to Binary Decision Diagrams
(To the tune of "Yesterday".)

BDD,
I can represent you compactly,
When sum-of-products grows exponentially.
I believe in BDDs.

BDDs.
I like to draw them with binary trees.
I put ones and zeroes at the leaves.
Oh, life's a breeze with BDDs.

Why'd... I... have to try to APPLY?
It made my program freeze.
Or... der... N-squared time is a crime,
Computing these...

BDDs.
I can complement them with ease,
But AND and OR bring them to their knees.
Please don't tease with BDDs.