Login / Signup

Ordered binary decision diagrams and the Shannon effect.

Clemens GröplHans Jürgen PrömelAnand Srivastav
Published in: Discret. Appl. Math. (2004)
Keyphrases
  • ordered binary decision diagrams
  • information theory
  • knowledge base
  • model checking
  • phase transition
  • deterministic finite automaton