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