Login / Signup

The multiple variable order problem for binary decision diagrams: theory and practical application.

Christoph SchollBernd BeckerAndreas Brogle
Published in: ASP-DAC (2001)
Keyphrases
  • practical application
  • binary decision diagrams
  • variable ordering
  • databases
  • sliding window
  • formal methods