• # 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. Aﬃne dynamics are handled ... state space based on user-deﬁnable constraints and the dynamics of the system. PHAVer...
• # 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...
• # 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...
• # 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...