Hu H, Huguet M-J, Siala M. Optimizing Binary Decision Diagrams with MaxSAT for Classification. AAAI [Internet]. 2022Jun.28 [cited 2024Apr.24];36(4):3767-75. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/20291