Multi-variable Quantification of BDDs in External Memory using Nested Sweeping.

Steffan Christ Slvsten, Jaco van de Pol

Browse the full VMCAI paper archive.