@inproceedings{frohner-19a,
 author = {Nikolaus Frohner and G{ü}nther R. Raidl},
 booktitle = {Learning and Intelligent Optimization -- 13th International Conference, LION 13},
 editor = {Nikolaos F. Matsatsinis and Yannis Marinakis and Panos Pardalos},
 pages = {30--45},
 publisher = {Springer},
 series = {LNCS},
 title = {Towards Improving Merging Heuristics for Binary Decision Diagrams},
 url = {https://www.ac.tuwien.ac.at/files/pub/frohner-19a.pdf},
 volume = {11968},
 year = {2019}
}