Nikolaus Frohner, Günther R. Raidl. Merging Quality Estimation for Binary Decision Diagrams with Binary Classifiers. Machine Learning, Optimization, and Data Science – 5th International Conference, LOD 2019 (Giuseppe Nicosia, Panos Pardalos, Renato Umeton, Giovanni Giuffrida, Vincenzo Sciacca, eds.), volume 11943 of LNCS, pages 445–457, 2020, Springer.