The design of a cache-friendly BDD library.

David E. Long

Browse the full ICCAD paper archive.