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.