@misc{indiciae2a5d8e56f8aa,
  title = {Predicting Memory Demands of BDD Operations using Maximum Graph Cuts (Extended Paper)},
  author = {Steffan Christ Sølvsten and Jaco van de Pol},
  year = {2025},
  doi = {10.1007/978-3-031-45332-8\_4},
  url = {https://arxiv.org/abs/2307.04488},
  note = {Source identifier: 2307.04488}
}