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