Hu, H., Huguet, M.-J., & Siala, M. (2022). Optimizing Binary Decision Diagrams with MaxSAT for Classification. Proceedings of the AAAI Conference on Artificial Intelligence, 36(4), 3767-3775. https://doi.org/10.1609/aaai.v36i4.20291