Title of article :
On the effect of local changes in the variable ordering of ordered decision diagrams
Author/Authors :
Beate Bollig، نويسنده , , Martin L?bbing، نويسنده , , Ingo Wegener، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 1996
Keywords :
Algorithms , computational complexity , Variable ordering
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters
