H. Hu, M.-J. Huguet, and M. Siala, “Optimizing Binary Decision Diagrams with MaxSAT for Classification”, AAAI, vol. 36, no. 4, pp. 3767-3775, Jun. 2022.