research
∙
07/10/2023
Predicting Memory Demands of BDD Operations using Maximum Graph Cuts (Extended Paper)
The BDD package Adiar manipulates Binary Decision Diagrams (BDDs) in ext...
share
research
∙
04/25/2021
Efficient Binary Decision Diagram Manipulation in External Memory
We follow up on the idea of Lars Arge to rephrase the Reduce and Apply a...
research
∙
06/15/2020
