Embodiments of the disclosed invention include optimization methods and systems that receive a mathematical description of a system, in symbolic form, that includes decision variables of various types, including real-number-valued, integer-valued, and Boolean-valued decision variables, and that may also include a variety of constraints on the values of the decision variables, including inequality and equality constraints. The objective function and constraints are incorporated into a global objective function. The global objective function is transformed into a system of differential equations in terms of continuous variables and parameters, so that polynomial-time methods for solving differential equations can be applied to calculate near-optimal solutions for the global objective function.