• CUTEr

  • Referenced in 569 articles [sw04010]
  • testing environment for optimization and linear algebra solvers. The package contains a collection of test ... help developers design, compare and improve new and existing solvers. The test problems provided...
  • BerkMin

  • Referenced in 160 articles [sw06917]
  • robust SAT-solver. We describe a SAT-solver, BerkMin, that inherits such features of GRASP ... experimentally compare BerkMin with Chaff, the leader among resolution-based SAT-solvers. Experiments show that...
  • PSwarm

  • Referenced in 62 articles [sw00742]
  • PSwarm: a hybrid solver for linearly constrained global derivative-free optimization. PSwarm was developed originally ... feasible set. We have again compared PSwarm with other solvers (including some designed for global...
  • ANTIGONE

  • Referenced in 86 articles [sw09241]
  • literature; we compare ANTIGONE to other state-of-the-art global optimization solvers...
  • NeNMF

  • Referenced in 30 articles [sw17586]
  • paper, we present a new efficient NeNMF solver to simultaneously overcome the aforementioned problems ... efficiency as well as approximation accuracy. Compared to PNLS and AS that suffer from numerical ... variants comparing to representative NMF solvers. Extensive experiments on document clustering suggest the effectiveness...
  • Couenne

  • Referenced in 63 articles [sw04347]
  • Motivated by the demand for open-source solvers for real-world MINLP problems, we have ... also compare the performance of couenne with a state-of-the-art MINLP solver...
  • BOUT

  • Referenced in 8 articles [sw06564]
  • using the fully implicit Newton-Krylov solver compared to an Adams predictor corrector. The turbulent...
  • WENO

  • Referenced in 52 articles [sw12694]
  • feasible to develop a 2-D solver (which will be five dimensional plus time when ... computers. The computational results have been compared with those by a Monte Carlo simulation ... been found. The advantage of the current solver over a Monte Carlo solver includes...
  • MathOptimizer

  • Referenced in 14 articles [sw06911]
  • application development tools and a solver-based functionality comparable to other compiler-based or optimization ... implementations. In use since 1990, the LGO solver engine is currently available for professional...
  • QPSchur

  • Referenced in 16 articles [sw06918]
  • Hessian). These results demonstrate that the QP solver can exploit application-specific structure ... fairly robust manner as compared to other QP solver implementations...
  • LIBOPT

  • Referenced in 9 articles [sw04011]
  • used for testing, comparing, and profiling solvers on problems belonging to various collections. These collections ... example, the possibility to run any solver on any problem compatible with it, using ... also provides tools for comparing the results obtained by solvers on a specified...
  • UnitWalk

  • Referenced in 34 articles [sw00993]
  • computational experiments comparing several implementations of our algorithm with other SAT solvers. We also prove...
  • testenv

  • Referenced in 8 articles [sw04008]
  • enables users to: Choose and compare diverse solver routines; Organize and solve large test problem...
  • SATenstein

  • Referenced in 17 articles [sw14233]
  • experiments show that SATenstein solvers achieved dramatic performance improvements as compared to the previous state ... algorithms; for many benchmark distributions, our new solvers also significantly outperformed all automatically tuned variants...
  • ParNes

  • Referenced in 12 articles [sw08366]
  • Berg and Friedlander in their spgl1 solver. The resulting algorithm is called parnes. We provide ... show that it is comparable to currently available solvers...
  • DRAT-trim

  • Referenced in 32 articles [sw13313]
  • proof is comparable to the running time of the proof-producing solver. Memory usage...
  • SLDRIVER

  • Referenced in 16 articles [sw00874]
  • makes it easy to compare the performance of different solvers on various problems. The author...
  • CAQE

  • Referenced in 9 articles [sw25922]
  • CAQE: a certifying QBF solver. We present a new CEGAR-based algorithm ... leads to a simpler notion of refinement compared to earlier approaches. We also show ... false, QBFs; allowing us to certify the solver result. We implemented the algorithm ... that CAQE has competitive performance compared to current QBF solvers and outperforms previous certifying solvers...
  • QuBE++

  • Referenced in 28 articles [sw00766]
  • efficient and robust solver, whose performances exceed those of other state ... engines, and are comparable with the best engines currently available on SAT instances...