This manuscript reviews recent advances in deterministic global optimization for Mixed-
Integer Nonlinear Programming (MINLP), as well as Constrained Derivative-Free …

Publisher Summary This chapter reviews that continuous constraint solving has been widely
studied in several fields of applied mathematics and computer science. In computer algebra …

This manuscript introduces ANTIGONE, Algorithms for coNTinuous/Integer Global
Optimization of Nonlinear Equations, a general mixed-integer nonlinear global optimization …

Constraint programming is a powerful paradigm for solving combinatorial search problems
that draws on a wide range of techniques from artificial intelligence, computer science …

Computational geometry emerged as a discipline in the seventies and has had considerable
success in improving the asymptotic complexity of the solutions to basic geometric problems …

This paper revisits the approach of transforming a mixed-integer polynomial program
(MIPOP) into a mixed-integer quadratically-constrained program (MIQCP), in the light of …

Background The determination of protein structures satisfying distance constraints is an
important problem in structural biology. Whereas the most common method currently …

This paper presents a set of tools for mechanical reasoning of numerical bounds using
interval arithmetic. The tools implement two techniques for reducing decorrelation: interval …

Mixed-integer signomial optimization problems have broad applicability in engineering.
Extending the Global Mixed-Integer Quadratic Optimizer, GloMIQO (Misener, Floudas in J …

In this article, we introduce a simple formal semantics for floating-point numbers with errors
which is expressive enough to be formally compared to the other methods. Next, we define …