On the Decomposition of Non-binary Constraint into Equivalent Binary Constraints | IEEE Conference Publication | IEEE Xplore