Wang, R., & Yap, R. H. (2022). Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees. Proceedings of the AAAI Conference on Artificial Intelligence, 36(4), 3850-3858. https://doi.org/10.1609/aaai.v36i4.20300