2. The computerized apparatus of claim 1 , wherein a value of a one control variable is indicative to the input being assigned a Boolean value.
2. The computerized apparatus of claim 1 , wherein a value of a one control variable is indicative to the input being assigned a Boolean value. 3. The computerized apparatus of claim 2 , wherein the cardinality constraint is a constraint on a sum of the one or more control variables.