• # 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...

• 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 provides--for 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 linear-time 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 first-order 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 branch-and-cut 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 blade-stiffened 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. SAT-based 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...
• # 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 non-random 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 derivative-free algorithm ... results on a set of standard minimax test problems are reported...
• # PathCrawler

• Referenced in 10 articles [sw07253]
• automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined ... treats C code and we illustrate the test-case 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 average-case...
• # 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...