Revision of constraints for arc consistency