Efficient breadth-first manipulation of binary decision diagrams.

Pranav Ashar, Matthew Cheong

Browse the full ICCAD paper archive.