Nikolaus Frohner, Günther R. Raidl: Merging Quality Estimation for Binary Decision Diagrams with Binary Classifiers. LOD 2019: 445-457