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.

Bibliographic Details
Published in:Information processing letters. 59, 5 (1996).
Main Author: Bollig, Beate
Format: Article
Language:English
Subjects:
Algorithms.
Computational complexity.
Variable ordering.