Omslagsbild

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

Bibliografiska uppgifter
I publikationen:Information processing letters. 59, 5 (1996).
Huvudupphovsman: Bollig, Beate
Materialtyp: Artikel
Språk:engelska
Ämnen:
Algorithms.
Computational complexity.
Variable ordering.