R. Wang and R. H. Yap, “Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees”, AAAI, vol. 36, no. 4, pp. 3850-3858, Jun. 2022.