Σ-All Different: Softening AllDifferent in Weighted CSPs | IEEE Conference Publication | IEEE Xplore