On the effect of local changes in the variable ordering of ordered decision diagrams.

On the effect of local changes in the variable ordering of ordered decision diagrams.

Sonraí bibleagrafaíochta
Foilsithe in:Information processing letters. 59, 5 (1996).
Príomhchruthaitheoir: Bollig, Beate
Formáid: Alt
Teanga:English
Ábhair:
Algorithms.
Computational complexity.
Variable ordering.