Reduction operations for constraint satisfaction