Sign in
A Comparison of Architectures for Various Decision Diagram Machines.
Hiroki Nakahara
Tsutomu Sasao
Munehiro Matsuura
Published in:
ISMVL (2010)
Keyphrases
</>
decision diagrams
data sets
efficient computation