Florio, et al.. Optimal Decision Diagrams for Classification. 28 May 2022.