• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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