
GQTPAR
 Referenced in 315 articles
[sw07451]
 method has a limit point which satisfies the first and second order necessary conditions ... algorithm, show that GQTPAR is quite successful in a trust region method. In our tests...

TETRAD
 Referenced in 395 articles
[sw12177]
 program which creates, simulates data from, estimates, tests, predicts with, and searches for causal ... suite of principled search (”exploration,” ”discovery”) algorithms it providesfor example its ability to search ... provided that structure and the sample data satisfy various commonly made (but not always true...

CG_DESCENT
 Referenced in 121 articles
[sw04813]
 nonlinear conjugate gradient scheme was developed which satisfies the descent condition gTkdk ... convergence behavior of the algorithm; extensive numerical tests and comparisons with other methods for large...

Ltur
 Referenced in 40 articles
[sw11689]
 unit resolution algorithm for Horn formulae and computer implementation. Testing for the satisfiability ... simplified way of deriving a lineartime algorithm avoiding many of the intricacies of previously...

BREAKUP
 Referenced in 4 articles
[sw02078]
 BREAKUP: A preprocessing algorithm for satisfiability testing of CNF formulas An algorithm called BREAKUP, which ... testing of some firstorder formulas for satisfiability using Iwama’s 𝐈𝐒 Algorithm. The complexity...

CALMA
 Referenced in 105 articles
[sw03235]
 given domain. The assignment has to satisfy certain restrictions so as to limit the interference ... Norwich, and Toulouse. The participants developed optimization algorithms based on branchandcut and constraint ... methods, genetic algorithms, neural networks, and potential reduction. These algorithms were tested and compared...

NLPQLP
 Referenced in 40 articles
[sw04073]
 functions can be evaluated simultaneously at predetermined test points along the search direction. The parallel ... theoretical convergence properties of the SQP algorithm remain satisfied. The Hessian approximation is updated ... solve 90 % of our 306 standard test examples even if the partial derivatives possess only...

VICONOPT
 Referenced in 19 articles
[sw10341]
 sequences satisfying laminate design rules using either manual selection or a genetic algorithm. VICONOPT models ... finite element models, and with experimental compressive testing of two bladestiffened panels. The buckling...

Filtrane
 Referenced in 16 articles
[sw05177]
 vectors satisfying general sets of nonlinear equations and/or inequalities, is presented. Several algorithmic variants ... extensively compared on a set of CUTEr test problems, indicating that the default variant...

aspeed
 Referenced in 11 articles
[sw27492]
 known to depend strongly on algorithm parameters. This problem was addressed by means ... very impressive performance in the 2011 Satisfiability Testing (SAT) Competition. Inspired by this, we take...

PASSAT
 Referenced in 3 articles
[sw10074]
 industrial circuits. Automatic test pattern generation (ATPG) based on Boolean satisfiability (SAT) has been proposed ... alternative to classical search algorithms. SATbased ATPG turned out to be more robust...

topopt_multi
 Referenced in 17 articles
[sw25723]
 reduction in the objective functional, simultaneously satisfying the control constraints. In the second step, regularization ... presented algorithm could be accounted as a constrained $H^1$ optimization algorithm, which, according ... presented method are shown through several test problems. Numerical results show that the presented algorithm...

RULES3EXT
 Referenced in 2 articles
[sw03290]
 fully be satisfied by an unseen example. The new algorithm has been tested on well...

DFLGEN
 Referenced in 7 articles
[sw36986]
 show that the proposed algorithms globally converge to points satisfying different necessary optimality conditions ... package, i.e., NOMAD, on a set of test problems. Furthermore, we employ the proposed methods...

YalSAT
 Referenced in 13 articles
[sw31644]
 search can be competitive on certain hard satisfiable but nonrandom instances using a simple ... introduced ProbSAT, we reimplemented the ProbSAT algorithm in our new local search SAT solver YalSAT ... structural formulas, we otherwise used for regression testing of for our CDCL solvers, beside...

SDMINMAX
 Referenced in 12 articles
[sw36992]
 satisfy weak necessary optimality conditions. In this work we define a new derivativefree algorithm ... results on a set of standard minimax test problems are reported...

PathCrawler
 Referenced in 10 articles
[sw07253]
 automatic generation of testcases satisfying the rigorous allpaths criterion, with a userdefined ... treats C code and we illustrate the testcase generation process on a representative example ... executions demanded by the use of heuristic algorithms in function minimisation and the possibility that...

jacobi2.0
 Referenced in 4 articles
[sw06052]
 have developed and provide an algorithm which allows to test the Jacobi identity ... admissible models is described by Poisson brackets satisfying the Jacobi identity in order to ensure ... often very time consuming. The efficient algorithm presented here can be obtained as a package...

BEDFix
 Referenced in 9 articles
[sw04469]
 approximation satisfies a residual criterion given a specified error tolerance. The BEDFix algorithm improves ... BEFix algorithm presented in Shellman and Sikorski [2002] by utilizing “deep cuts”, that is, eliminating ... BEDFix and BEFix, but our numerical tests indicate that BEDFix significantly improves the averagecase...

ACM/EATCS
 Referenced in 4 articles
[sw03105]
 Combinatorial algorithms test sets (CATS): The ACM/EATCS platform for experimental research We describe CATS ... based collection of test sets. These test sets, each specialized for a specific problem (such ... network flow or satisfiability), are maintained by volunteers (associate editors), using contributions from researchers (authors ... good test sets and the evaluation of performance of existing algorithms. The test sets should...