
Knapsack
 Referenced in 478 articles
[sw04723]
 other algorithmic techniques for the exact solution. Computational results are presented to compare the actual...

PROST
 Referenced in 151 articles
[sw12822]
 that is slightly different from the exact solution, has been documented in the literature...

Biq Mac
 Referenced in 74 articles
[sw10532]
 present a method for finding exact solutions of MaxCut, the problem of finding ... during the bounding process. We review other solution approaches and compare the numerical results with ... fail, our method performs very well. Exact solutions are obtained in a reasonable time...

PDESpecialSolutions
 Referenced in 63 articles
[sw12342]
 Symbolic computation of exact solutions expressible in hyperbolic and elliptic functions for nonlinear PDEs. Algorithms ... sechmethods, which lead to closedform solutions of nonlinear ordinary and partial differential equations ... algorithms are given to find exact polynomial solutions of ODEs and PDEs in terms ... algorithms and symbolic software to compute exact solutions of nonlinear differential equations...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 between the computed result and the exact solution. The exact dot product is essential ... program for computing continuous bounds on the solution of an initial value problem is given...

HLLC
 Referenced in 58 articles
[sw06530]
 characteristic fields present in the exact solution of the Riemann problem. In particular, stationary contact...

TNPACK
 Referenced in 42 articles
[sw00970]
 Newton methods allow approximate, rather than exact, solutions to the Newton equations. Truncation is accomplished...

LSSPER
 Referenced in 29 articles
[sw02485]
 paper presents the Local Search with SubProblem Exact Resolution (LSSPER) method based on large neighbourhood ... method, a subpart of the current solution is fixed while the other part defines ... externally by a heuristic or an exact solution approach (using either constraint programming techniques...

BDDC
 Referenced in 30 articles
[sw07232]
 straightforward for BDDC to substitute the exact solution of the coarse problem by another step...

PDERecursionOperator
 Referenced in 27 articles
[sw12345]
 integrability and the computation of closedform solutions of nonlinear polynomial partial differential equations (PDEs ... test. The second package, PDESpecialSolutions.m, computes exact solutions expressible in hyperbolic or elliptic functions...

Bison
 Referenced in 40 articles
[sw17681]
 bins. For solving BPP1, an exact hybrid solution procedure, called BISON, is proposed...

QSoptExact
 Referenced in 17 articles
[sw05101]
 academic linearprogramming solvers. For the exact solution of LP problems, we have created ... Bignum Library to deliver the exact rational solution to LP instances having rational input. This...

PipLib
 Referenced in 19 articles
[sw23763]
 integral solution, PIP can give the exact solution as an integral quotient. The heart...

BiqMac
 Referenced in 20 articles
[sw12662]
 ment to be used for testing exact solution methods for quadratic 01 programming...

parDG
 Referenced in 19 articles
[sw18743]
 resulting schemes special (quasiexact) solutions are constructed. Several benchmarks show the efficiency and reliability...

DDESpecialSolutions
 Referenced in 35 articles
[sw12343]
 algorithm is presented to find exact traveling wave solutions of differentialdifference equations in terms...

OCOTILLO
 Referenced in 10 articles
[sw09292]
 real data libraries. The package provides exact solutions for general inverse problems based on shortest ... search space; the exact solutions are found in a few minutes...

alphaCertified
 Referenced in 46 articles
[sw07351]
 theory to certify solutions of polynomial systems using both exact rational arithmetic and arbitrary precision ... given point corresponds to a real solution, and algorithms to heuristically validate solutions to overdetermined...

PROGRESS
 Referenced in 13 articles
[sw02382]
 high practical importance, only a few exact solution procedures have been presented in the literature...