Login / Signup
Nondeterministic unitary OBDDs.
Aida Gainutdinova
Abuzer Yakaryilmaz
Published in:
CoRR (2016)
Keyphrases
</>
finite state
model checking
boolean functions
ordered binary decision diagrams
temporal logic
series expansion
finite automata
finite automaton
data mining
lower bound
special case