@misc{indiciaec36c38a7bacf,
  title = {Efficient Binary Decision Diagram Manipulation in External Memory},
  author = {Steffan Christ Sølvsten and Jaco van de Pol and Anna Blume Jakobsen and Mathias Weller Berg Thomasen},
  year = {2026},
  doi = {10.1007/978-3-030-99527-0\_16},
  url = {https://arxiv.org/abs/2104.12101},
  note = {Source identifier: 2104.12101}
}