Hu, H.; Huguet, M.-J.; Siala, M. Optimizing Binary Decision Diagrams With MaxSAT for Classification. AAAI 2022, 36, 3767-3775.