Interval Constraint Programming and Global Optimization

(or how to optimize a function under nonlinear (non convex) equality and inequality constraints by using interval methods (often) based on constraint programming principles)

Decomposition of (geometrical) constraint systems

Incomplete algorithms for combinatorial optimization