@misc{indiciae028a6f574b2b,
  title = {Multi-variable Quantification of BDDs in External Memory using Nested Sweeping (Extended Paper)},
  author = {Steffan Christ Sølvsten and Jaco van de Pol},
  year = {2026},
  url = {https://arxiv.org/abs/2408.14216},
  note = {Source identifier: 2408.14216}
}