Predicting Memory Demands of BDD Operations using Maximum Graph Cuts (Extended Paper)

Steffan Christ Sølvsten, Jaco van de Pol

The BDD package Adiar manipulates Binary Decision Diagrams (BDDs) in external memory. This enables handling big BDDs, but the performance suffers when dealing with moderate-sized B…