- Nonlinear programming
- Duality (optimization)
- Constrained optimization
- Linear programming
- Reasoning system
- Quadratic programming
- Quadratically constrained quadratic program
- Satisfiability modulo theories
- Problem solving
- Sequential quadratic programming