Lexikon der Mathematik: geordneter binärer Entscheidungsgraph
OBDD, ordered binary decision diagram, ein binärer Entscheidungsgraph G = (V, E, index), der über Booleschen Variablen x1,…, xn definiert ist und für den
OBDD, ordered binary decision diagram, ein binärer Entscheidungsgraph G = (V, E, index), der über Booleschen Variablen x1,…, xn definiert ist und für den
Schreiben Sie uns!