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

A novel concurrent cache-friendly binary decision diagram construction for multi-core platforms.

Mahmoud ElbayoumiMichael S. HsiaoMustafa Y. ElNainay
Published in: DATE (2013)
Keyphrases
  • binary decision diagrams
  • prefetching
  • pseudo boolean constraints
  • query processing
  • learning algorithm
  • search algorithm
  • data streams
  • general purpose
  • model checking
  • boolean functions