Water and Energy Abstracts
  • Year: 2007
  • Volume: 17
  • Issue: 2

Space-and Time-Efficient BOD Construction via Working Set Control

  • Author:
  • Bwolen Yang, Yirng-An Chen, Randal E. Bryant, David R. O'Hallaron

(IEEE, Piscataway, NJ, USA, Institute of Electrical and Electronics Engineers Inc., pp. 423-432).

Keywords

Binary decision diagrams, BOD construction, Good memory locality, Low memory overhead