2 papers
cs.DS2026
Efficient Binary Decision Diagram Manipulation in External Memory
Steffan Christ Sølvsten, Jaco van de Pol, Anna Blume Jakobsen +1
We follow up on the idea of Lars Arge to rephrase the Reduce and Apply procedures of Binary Decision Diagrams (BDDs) as iterative I/O-efficient algorithms. We identify multiple ave…
cs.DS2025
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…