On the effect of local changes in the variable ordering of ordered decision diagrams. - Bollig, Beate
Keywords: Algorithms; Computational complexity; Variable ordering