Minimize returns a list of the form {fmin, {x->xmin, y->ymin, ...}}.
cons can contain equations, inequalities or logical combinations of these.
If f and cons are linear or polynomial, Minimize will always find a global minimum.
Minimize will return exact results if given exact input.
If Minimize is given an expression containing approximate numbers, it automatically calls NMinimize.
If the minimum is achieved only infinitesimally outside the region defined by the constraints, or only asymptotically, Minimize will return the infimum and the closest specifiable point.
If no domain is specified, all variables are assumed to be real.
xIntegers can be used to specify that a particular variable can take on only integer values.