TY  - RPRT
TI  - Predicting Memory Demands of BDD Operations using Maximum Graph Cuts (Extended Paper)
AU  - Steffan Christ Sølvsten
AU  - Jaco van de Pol
PY  - 2025
DO  - 10.1007/978-3-031-45332-8_4
UR  - https://arxiv.org/abs/2307.04488
ID  - 2307.04488
ER  -