5. A computerized apparatus comprising: a processor; an interface for receiving a Boolean function; a non-Boolean abstraction module configured to determine an abstracted function associated with a Boolean function received by said interface, the abstracted function is defined over a non-Boolean domain; an input controller module configured to limit a number of inputs of the abstracted function that are assigned a Boolean value, the abstracted function is determined by said non-Boolean abstraction module; and an interface to a SAT solver.
5. A computerized apparatus comprising: a processor; an interface for receiving a Boolean function; a non-Boolean abstraction module configured to determine an abstracted function associated with a Boolean function received by said interface, the abstracted function is defined over a non-Boolean domain; an input controller module configured to limit a number of inputs of the abstracted function that are assigned a Boolean value, the abstracted function is determined by said non-Boolean abstraction module; and an interface to a SAT solver. 10. The computerized apparatus of claim 5 further comprising an assignment size determination unit for determining the constraint on a number of inputs being assigned Boolean values.