Start Small But Dream Big: On Choosing a Static Variable Order for Multiplier BDDs

@inbook{pub13516,
    author = {

Qayyum, Khushboo
 and 

Drechsler, Rolf
 and 

Mahzoon, Alireza
 and 

Huhn, Sebastian
 and 

Drechsler, Rolf
},
    editor = {

Drechsler, Rolf
 and 

Huhn, Sebastian
},
    title = {Start Small But Dream Big: On Choosing a Static Variable Order for Multiplier BDDs},
    booktitle = {Advanced Boolean Techniques},
    year = {2023},
    pages = {115--169},
    publisher = {Springer}
}