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.

Podrobná bibliografie
Vydáno v:Information processing letters. 59, 5 (1996).
Hlavní autor: Bollig, Beate
Médium: Článek
Jazyk:English
Témata:
Algorithms.
Computational complexity.
Variable ordering.