Login / Signup
On the Minimization of (Complete) Ordered Binary Decision Diagrams.
Beate Bollig
Published in:
Electron. Colloquium Comput. Complex. (2014)
Keyphrases
</>
ordered binary decision diagrams
deterministic finite automaton
objective function
lower bound
np hard
evolutionary computation
quantified boolean formulae