
bilevel
 Referenced in 5 articles
[sw25305]
 that do not satisfy the standard constraint qualifications and therefore, nonlinear solvers may fail...

DEGEN
 Referenced in 1 article
[sw07626]
 feasible set (which is weaker than constraint qualifications), assuming that the iterates have some modest ... that even weak forms of general constraint qualifications that are suitable for convergence ... context’s usual MPCClinear independence constraint qualification, feasible accumulation points of the iterates...

PYROBOCOP
 Referenced in 1 article
[sw38825]
 MPCCs fail to satisfy commonly assumed constraint qualifications and require special handling of the complementarity...

PATHNLP
 Referenced in 0 articles
[sw21984]
 differentiability without convexity, and assuming a constraint qualification holds, then a solution ... solution to the NLP  no further constraint qualification is required. In case PATH fails...

BARON
 Referenced in 354 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

HSL
 Referenced in 279 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

LANCELOT
 Referenced in 306 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

Matlab
 Referenced in 13488 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

SETHEO
 Referenced in 122 articles
[sw00707]
 SETHEO: A highperformance theorem prover. The paper...

QAPLIB
 Referenced in 233 articles
[sw00751]
 A collection of electronically available data instances for...

SPG
 Referenced in 76 articles
[sw00897]
 Algorithm 813: SPG  software for convexconstrained optimization...

GALAHAD
 Referenced in 62 articles
[sw01408]
 We describe the design of version 1.0 of...

GOLOG
 Referenced in 172 articles
[sw02159]
 GOLOG: A logic programming language for dynamic domains...

LOQO
 Referenced in 211 articles
[sw02212]
 LOQO: An interior point code for quadratic programming...

SNOPT
 Referenced in 551 articles
[sw02300]
 SNOPT: An SQP algorithm for largescale constrained...

LICO
 Referenced in 2 articles
[sw02356]
 LICO: A multiplatform channelbased communication library...

LBFGS
 Referenced in 805 articles
[sw03229]
 Algorithm 778: LBFGSB Fortran subroutines for...

VIATRA2
 Referenced in 33 articles
[sw03511]
 The model transformation language of the VIATRA2 framework...

AMPL
 Referenced in 617 articles
[sw04001]
 AMPL is a comprehensive and powerful algebraic modeling...