Formal methods offer a mathematically rigorous framework for the specification, development and verification of programming languages and software systems. By leveraging techniques such as theorem ...

Abstract. An iteration of the sequential quadratically constrained quadratic programming method (SQCQP) consists of minimizing a quadratic approximation of the objective function subject to quadratic ...

Experience using the simplex method as implemented in CPLEX, an interior point method as implemented in OB1, and a hybrid interior point/simplex approach is reported. The resulting procedure ...