Login / Signup
A novel concurrent cache-friendly binary decision diagram construction for multi-core platforms.
Mahmoud Elbayoumi
Michael S. Hsiao
Mustafa 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