Multi-variable Quantification of BDDs in External Memory using Nested Sweeping (Extended Paper)

Steffan Christ Sølvsten, Jaco van de Pol

Previous research on the Adiar BDD package has been successful at designing algorithms capable of handling large Binary Decision Diagrams (BDDs) stored in external memory. To do so…