Assuming W$1$ W$-2$ and W$3$R$0$ minus one integer variables, the constraint W$-2$ plus W$-2$ plus W$-2$ is less than one is often called a mutually exclusive constraint K out of an alternative constraint, requisite constraint multiple$-$choice