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.

Xehetasun bibliografikoak
Argitaratua izan da:Information processing letters. 59, 5 (1996).
Egile nagusia: Bollig, Beate
Formatua: Artikulua
Hizkuntza:English
Gaiak:
Algorithms.
Computational complexity.
Variable ordering.