An Iterative Approach for Counting Reduced Ordered Binary Decision Diagrams.

Julien Clment, Antoine Genitrini

Browse the full MFCS paper archive.