Remembrance of Things Past: Locality and Memory in BDDs.

Srilatha Manne, Dirk Grunwald, Fabio Somenzi

Browse the full DAC paper archive.