
KELLEY
 Referenced in 598 articles
[sw04829]
 complete generality and confine our scope to algorithms that are easy to implement ... into two parts. The first part, occupying approximately 100 pages, is devoted to the optimization ... second part of the book, which is approximately 50 pages long, deals with the optimization ... used to demonstrate the behavior of optimization algorithms. Chapter 7 introduces implicit filtering, a technique...

LKH
 Referenced in 126 articles
[sw04735]
 highly effective. Even though the algorithm is approximate, optimal solutions are produced with an impressively ... nontrivial instance solved to optimality). Furthermore, the algorithm has improved the best known solutions...

Outward rotations
 Referenced in 44 articles
[sw08660]
 performance of several semidefinite programming based approximation algorithms. Using outward rotations, we obtain an approximation ... Williamson. We also obtain an improved approximation algorithm for MAX NAEf3gSAT. Finally ... also be used to obtain improved approximation algorithms ... used semidefinite programming to obtain an approximation algorithm...

SNOPT
 Referenced in 497 articles
[sw02300]
 gradients are sparse. We discuss an SQP algorithm that uses a smooth augmented Lagrangian merit ... Newton approximation to the Hessian of the Lagrangian and uses a reducedHessian algorithm (SQOPT...

CGAL
 Referenced in 348 articles
[sw00118]
 Algorithms Library (CGAL), offers data structures and algorithms like triangulations (2D constrained triangulations and Delaunay ... properties, and approximation of ridges and umbilics), alpha shapes, convex hull algorithms...

CoSaMP
 Referenced in 197 articles
[sw08727]
 basis. The major algorithmic challenge in compressive sampling is to approximate a compressible signal from...

GRASP
 Referenced in 127 articles
[sw01094]
 Algorithm 754: Fortran subroutines for approximate solution of dense quadratic assignment problems using GRASP (greedy...

EGO
 Referenced in 316 articles
[sw07588]
 integer constraints. The idea of the EGO algorithm is to first fit a response surface ... minimum of the surface and improving the approximation by sampling where the prediction error...

na10
 Referenced in 47 articles
[sw11511]
 algorithm for computing polynomial zeros, based on Aberth’s method, is presented. The starting approximations ... rounding error analysis, guarantees that the computed approximations are the exact zeros of a “nearby ... This implies the backward stability of our algorithm. We provide a Fortran 77 implementation ... Fortran 77 implementation of our algorithm computed approximations to all the zeros within the relative...

DICOPT
 Referenced in 34 articles
[sw04938]
 extensions of the outerapproximation algorithm for the equality relaxation strategy. The MINLP algorithm inside...

redbKIT
 Referenced in 151 articles
[sw12977]
 spaces using greedy algorithms and proper orthogonal decomposition techniques, investigate their approximation properties and analyze ... allows the reader to easily implement the algorithms illustrated throughout the text. The book will...

Bonmin
 Referenced in 183 articles
[sw04766]
 hybrid algorithms, of which branchandbound and polyhedral outer approximation are the two extreme...

SpaceEx
 Referenced in 66 articles
[sw10939]
 Hybrid Systems. We present a scalable reachability algorithm for hybrid systems with piecewise affine ... compute an overapproximation of the reachable states. The algorithm improves over previous work ... improved approximation model, which drastically improves the accuracy of the algorithm. The algorithm is implemented...

CALMA
 Referenced in 105 articles
[sw03235]
 developed optimization algorithms based on branchandcut and constraint satisfaction, and approximation techniques including...

UOBYQA
 Referenced in 59 articles
[sw07576]
 UOBYQA: unconstrained optimization by quadratic approximation A new algorithm for general unconstrained optimization calculations ... adjustment of trust region radii. par The algorithm works with the Lagrange functions ... estimate of the error of the quadratic approximation of the function being minimized...

Eigensolve
 Referenced in 25 articles
[sw11986]
 iterated eigenvalue algorithm for approximating roots of univariate polynomials. The author studies an iterative algorithm ... that approximates all roots of a univariate polynomial. The iteration is based on floatingpoint ... conditioned polynomials are carefully implemented for the algorithms...

SQPlab
 Referenced in 148 articles
[sw05161]
 hand, as a Newton method, the SQP algorithm converges very rapidly, meaning that it requires ... iterations (hence QP solves) to find an approximate solution with a good precision (this ... Therefore, one can say that the SQP algorithm is an appropriate approach when the evaluation...

AMD
 Referenced in 52 articles
[sw00039]
 routines that implements the approximate minimum degree ordering algorithm to permute sparse matrices prior...

QMRPACK
 Referenced in 77 articles
[sw00754]
 ahead Lanczos algorithm that, by itself, can also be used to obtain approximate eigenvalues ... with Fortran 77 implementations of the QMR algorithm and variants thereof, and of the three ... discuss some of the features of the algorithms in the package, with emphasis ... other for the computation of eigenvalue approximations. We present some numerical examples from applications where...

APMC
 Referenced in 27 articles
[sw11483]
 Approximate probabilistic model checking. Symbolic model checking methods have been extended recently to the verification ... model checking algorithm. In this paper, we propose an approximation method to verify quantitative properties ... Markov chains. We give a randomized algorithm to approximate the probability that a property expressed ... confidence by a probabilistic system. Our randomized algorithm requires only a succinct representation...