• DeMat

  • Referenced in 35 articles [sw24853]
  • code is designed to incorporate bounds, inequality, and equality constraints. The above book contains...
  • AQUARS

  • Referenced in 11 articles [sw07570]
  • expensive black-box function subject to bound constraints. In a traditional multistart approach, the local...
  • veDYNA

  • Referenced in 10 articles [sw04237]
  • keep the error in the constraints bounded for arbitrary time intervals. These methods need ... Newton step for the projection onto the constraint manifold can prevent the drift...
  • PHAVer

  • Referenced in 108 articles [sw04123]
  • properties of hybrid systems with piecewise constant bounds on the derivatives. Affine dynamics are handled ... state space based on user-definable constraints and the dynamics of the system. PHAVer...
  • Ceres Solver

  • Referenced in 8 articles [sw20619]
  • linear Least Squares problems with bounds constraints and general unconstrained optimization problems...
  • HAMPI

  • Referenced in 19 articles [sw09864]
  • regular languages and bounded context-free languages. Hampi constraints may contain context-free-language definitions...
  • PSOPT

  • Referenced in 7 articles [sw20700]
  • event constraints; Integral constraints; Interior point constraints; Bounds on controls and state variables; General cost...
  • QSPLINE

  • Referenced in 4 articles [sw07307]
  • convex quadratic programming problems with simple bound constraints A convex quadratic programming problem with simple ... bound constraints can be reformulated as an unconstrained minimization problem with a convex quadratic spline...
  • alphaBB

  • Referenced in 49 articles [sw06249]
  • General Constrained Nonconvex Problems. A branch and bound global optimization method, ffBB, for general continuous ... involving nonconvexities in the objective function and/or constraints is presented. The nonconvexities are categorized ... fractional, signomial) with customized tight convex lower bounding functions and (ii) by utilizing...
  • NDL

  • Referenced in 6 articles [sw10433]
  • used in the case where bound constraints are imposed on the variables. The Hessian...
  • BOXES

  • Referenced in 6 articles [sw21178]
  • propositional formula over upper- and lower-bounds constraints. Our implementation is symbolic, and weds...
  • QPSOL

  • Referenced in 7 articles [sw26106]
  • function subject to linear constraints and simple upper and lower bounds. If the quadratic function ... used is most efficient when many constraints or bounds are active at the solution. QPSOL...
  • SNOBFIT

  • Referenced in 19 articles [sw05289]
  • continuous variables varying within bound, possibly subject to additional soft constraints. Discrete variables ... other optimization routines are ill-prepared. Soft constraints are taken care ... SNOBFIT, one needs the MINQ bound-constrained quadratic programming package...
  • ICOS

  • Referenced in 15 articles [sw04007]
  • ICOS: a branch and bound based solver for rigorous global optimization This article describes ... package called Interval Constraint Solver (ICOS), which implements a branch and bound algorithm for rigorously ... ICOS library contains algorithms coming from constraint programming, interval analysis, and linear relaxation techniques...
  • CPBPV

  • Referenced in 5 articles [sw00164]
  • CPBPV: a constraint-programming framework for bounded program verification. This paper studies how to verify ... specification and proposes a novel constraint-programming framework for bounded program verification (CPBPV). The CPBPV ... framework uses constraint stores to represent both the specification and the program and explores execution ... partially correct under the boundness restrictions, if each constraint store so produced implies the post...
  • MatSol

  • Referenced in 24 articles [sw12419]
  • yields the error bounds that are independent of conditioning of constraints and the results...
  • CAPROX

  • Referenced in 4 articles [sw05020]
  • with linear inequality constraints and simple bound constraints...
  • NDA

  • Referenced in 14 articles [sw04663]
  • nondifferentiable optimization with simple bounds and general linear constraints. Subroutine PMIN, intended for minimax optimization...
  • MineLib

  • Referenced in 14 articles [sw07469]
  • extracted ore; constraints include precedence and upper bounds on operational resource usage. Extensions of this ... problem can include $(i)$ lower bounds on operational resource usage, $(ii)$ the determination of whether ... mineral from the block, $(iii)$ average grade constraints at the processing plant, and $(iv)$ inventories...
  • maxino

  • Referenced in 6 articles [sw33093]
  • Ricca. A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size...