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