In this paper we establish necessary as well assufficient conditions for a given feasible point to be a globalminimizer of smooth minimization problems with mixed variables.These problems, for instance, cover box constrained smooth minimizationproblems and bivalent optimization problems. In particular, ourresults provide necessary global optimality conditions for differenceconvex minimization problems, whereas our sufficient conditionsgive easily verifiable conditions for global optimality of variousclasses of nonconvex minimization problems, including the class ofdifference of convex and quadratic minimization problems. Wediscuss numerical examples to illustrate the optimalityconditions