• 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 MPCC-linear 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 large-scale nonlinear...
  • Matlab

  • Referenced in 13488 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • SETHEO

  • Referenced in 122 articles [sw00707]
  • SETHEO: A high-performance 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 convex-constrained optimization...
  • 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 large-scale constrained...
  • LICO

  • Referenced in 2 articles [sw02356]
  • LICO: A multi-platform channel-based communication library...
  • L-BFGS

  • Referenced in 805 articles [sw03229]
  • Algorithm 778: L-BFGS-B 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...