
Ipopt
 Referenced in 589 articles
[sw04808]
 denote the lower and upper bounds on the constraints, and the vectors...

UMFPACK
 Referenced in 325 articles
[sw00989]
 symbolic analysis phase computes an upper bound on fillin, work, and memory usage during...

MINOS
 Referenced in 440 articles
[sw05095]
 some or all gradients. Upper and lower bounds on the variables are handled efficiently. File...

BOBYQA
 Referenced in 58 articles
[sw04769]
 that it allows lower and upper bounds on each variable. The name BOBYQA denotes Bound...

CirCut
 Referenced in 42 articles
[sw04782]
 approach does not guarantee an upper bound on the MAXCUT optimal value...

MULKNAP
 Referenced in 35 articles
[sw06467]
 constrained MKP and present a branchandbound algorithm to solve this problem to optimality ... Lagrangian relaxation approach to obtain an upper bound. Together with the lower bound obtained...

DSPCA
 Referenced in 35 articles
[sw04804]
 rankone matrix, with an upper bound on the cardinality of its eigenvector. The problem...

UnitWalk
 Referenced in 34 articles
[sw00993]
 having the best current worstcase upper bounds. We combine the main ideas of these...

COSTA
 Referenced in 23 articles
[sw00162]
 selection of resource descriptions, and tries to bound the resource consumption of the program with ... such recurrence relations which represents an upper bound, COSTA includes a dedicated solver. An ! interesting ... much the same machinery for inferring upper bounds on cost as for proving termination (which...

PSwarm
 Referenced in 60 articles
[sw00742]
 where the variables are within upper and lower bounds. The underlying algorithm used...

Equator
 Referenced in 28 articles
[sw13158]
 variable, defined by the lower and upper bounds and an increment. Equator has no plotting...

AdaCost
 Referenced in 25 articles
[sw33192]
 formally show that AdaCost reduces the upper bound of cumulative misclassification cost of the training...

quantilogram
 Referenced in 22 articles
[sw25152]
 conduct inference, propose some model free upper bound critical values, and apply our methods...

FRSDE
 Referenced in 15 articles
[sw08762]
 advantage: it can guarantee that the upper bound of the time complexity is linear with ... large data set and the upper bound of the space complexity is independent...

TenEig
 Referenced in 17 articles
[sw14671]
 eigenpairs. In particular, we derive an upper bound for the number of equivalence classes...

VortexCalculations
 Referenced in 16 articles
[sw28311]
 computer. We also provide upper bounds for these classes of stationary configurations...

CABOB
 Referenced in 31 articles
[sw17813]
 problem. It uses decomposition techniques, upper and lower bounding (also across components), elaborate and dynamically...

MineLib
 Referenced in 14 articles
[sw07469]
 extracted ore; constraints include precedence and upper bounds on operational resource usage. Extensions of this...

qZEILBERGER
 Referenced in 13 articles
[sw11575]
 Mathematica package qZeil. The article ”Sharp upper bounds for the orders of the recurrences output...

MAGP
 Referenced in 9 articles
[sw14019]
 main result is the derivation of numerical bounds that turn out to be very accurate ... also present the first explicit upper bound for the distribution tail of the maximum ... known tools such as the Rice upper bound and expansions based on the Euler characteristic...