Difference between revisions of "MINOTAUR"

 minimize $f(x,y)$ subject to $g_i(x,y) \leq 0 \,$ for $i = 1, ..., m \,$ $x \in X \; y \in Y$ integer,
where $f(x,y), g_i(x,y)$ are smooth functions of the continuous variables $x$ and the integer variables $y$.