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