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…