Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees. - Wang, Ruiwei; Yap, Roland H. C. (2022)