Efficient Relaxations of Over-constrained CSPs | IEEE Conference Publication | IEEE Xplore