TY  - RPRT
TI  - Multi-variable Quantification of BDDs in External Memory using Nested Sweeping (Extended Paper)
AU  - Steffan Christ Sølvsten
AU  - Jaco van de Pol
PY  - 2026
UR  - https://arxiv.org/abs/2408.14216
ID  - 2408.14216
ER  -