Binary Decision Diagrams on Modern Hardware.

Samuel Pastva, Thomas A. Henzinger

Browse the full FMCAD paper archive.