Wang, R.; Yap, R. H. Encoding Multi-Valued Decision Diagram Constraints As Binary Constraint Trees. AAAI 2022, 36, 3850-3858.