Hu, Hao, Marie-José Huguet, and Mohamed Siala. 2022. “Optimizing Binary Decision Diagrams With MaxSAT for Classification”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (4):3767-75. https://doi.org/10.1609/aaai.v36i4.20291.