BDD algorithms and cache misses (1996)

by Nils Klarlund, Theis Rauhe