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.

Detalhes bibliográficos
Publicado no:Information processing letters. 59, 5 (1996).
Autor principal: Bollig, Beate
Formato: Artigo
Idioma:English
Assuntos:
Algorithms.
Computational complexity.
Variable ordering.