Encoding global constraints in semiring-based constraint solving | IEEE Conference Publication | IEEE Xplore