augmented Lagrangian methods, sequential quadratic programming methods, and interior point methods for nonlinear constrained optimization; Convergence properties of algorithms Materials. Textbook: ...

c. Optimality conditions for unconstrained / constrained optimization; d. Numerical methods for computing derivatives, automatic differentiation; e. Numerical computation of eigenvalues / singular ...

The Constraint Reasoning and Optimization group, led by Professor Matti Järvisalo, focuses on the development and analysis of state-of-the-art decision, search, and optimization procedures, and their ...

The Constraint Reasoning and Optimization Group has summer intern openings for Summer 2025.. Interns will engage in forefront research guided by senior researchers in the group. Topics include ...