
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 blackbox 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. Aﬃne dynamics are handled ... state space based on userdeﬁnable 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 contextfree languages. Hampi constraints may contain contextfreelanguage 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 lowerbounds 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 illprepared. Soft constraints are taken care ... SNOBFIT, one needs the MINQ boundconstrained 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 constraintprogramming framework for bounded program verification. This paper studies how to verify ... specification and proposes a novel constraintprogramming 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...