cs.DS cs.DB 68W30 (primary) 68Q60, 68R07 (secondary) E.1; F.2.2; I.1.2
Multi-variable Quantification of BDDs in External Memory using Nested Sweeping (Extended Paper)
Steffan Christ Sølvsten Jaco van de Pol