An iterative approach for counting reduced ordered binary decision diagrams

Julien Clément, Antoine Genitrini

For three decades binary decision diagrams, a data structure efficiently representing Boolean functions, have been widely used in many distinct contexts like model verification, ma…