In this paper we discuss discrete-time systems which have constraints on all or part of the inputs as well as on the states of the system. We show that solvability of stabilization problems is closely related to two important concepts: right-invertibility of the constraints and the constraint invariant zeros. In the case of right-invertible constraints we give constructive methods to determine suitable controllers