Login / Signup

Space- and Time-Efficient BDD Construction via Working Set Control.

Bwolen YangYirng-An ChenRandal E. BryantDavid R. O'Hallaron
Published in: ASP-DAC (1998)
Keyphrases
  • distance measure
  • working set
  • similarity measure
  • distance metric
  • databases
  • learning algorithm
  • relational databases
  • linear combination
  • working set selection