Efficient Evolution of Variable Ordering for Binary Decision Diagram Optimization

@article{pub16414,
    author = {

Krauss, Rune
 and 

Drechsler, Rolf
},
    title = {Efficient Evolution of Variable Ordering for Binary Decision Diagram Optimization},
    year = {2025},
    month = {5},
    pages = {1--11},
    journal = {IEEE Transactions on Evolutionary Computation},
    publisher = {IEEE}
}