Login / Signup
On the Minimization of (Complete) Ordered Binary Decision Diagrams.
Beate Bollig
Published in:
Theory Comput. Syst. (2016)
Keyphrases
</>
ordered binary decision diagrams
objective function
model checking
constraint programming
deterministic finite automaton