Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification | IEEE Conference Publication | IEEE Xplore