• SPADE

  • Referenced in 89 articles [sw02226]
  • fast discovery of Sequential Patterns. The existing solutions to this problem make repeated database scans...
  • RealPaver

  • Referenced in 51 articles [sw04401]
  • transcendental elementary functions. Rigourousness: Realpaver covers the solution set of a given problem by means ... some conditions, it can prove the existence of solutions to a set of constraints. Moreover...
  • RAGlib

  • Referenced in 64 articles [sw00774]
  • each connected component of their real solution set. RAGlib is built upon the FGb library ... functionalities allow to decide the existence of real solutions and to compute sample points...
  • libMesh

  • Referenced in 143 articles [sw06657]
  • high-quality, existing software whenever possible. PETSc is used for the solution of linear systems...
  • DSDP5

  • Referenced in 27 articles [sw04411]
  • complexity, primal and dual feasible solutions when they exist, certificates of infeasibility when solutions...
  • JPEG2000

  • Referenced in 63 articles [sw02062]
  • presents implementation strategies accompanied by existing software and hardware solutions...
  • INTOPT_90

  • Referenced in 305 articles [sw04705]
  • equality constraints (within a box frame). The solution procedures are based on branch and bound ... conditions and computationally executed proofs of the existence of feasible points generalizing Hansen and Walster...
  • HLLE

  • Referenced in 582 articles [sw06605]
  • Leer and Einfeldt) solver is an approximate solution to the Riemann problem, which is only ... simple but also more advanced exists like using the Roe average velocity for the middle...
  • Chaff

  • Referenced in 573 articles [sw06916]
  • been devoted to trying to provide practical solutions to this problem for problem instances encountered ... both research and industry. Most existing complete solvers are variants of the Davis-Putnam...
  • MACS-VRPTW

  • Referenced in 83 articles [sw06303]
  • with the best known existing methods both in terms of solution quality and computation time...
  • LS-DYNA

  • Referenced in 314 articles [sw03068]
  • solving highly nonlinear transient problems enabling the solution of coupled multi-physics and multi-stage ... developer of LS-DYNA, LSTC, continuously recodes existing algorithms and develops more efficient methodologies...
  • PROST

  • Referenced in 149 articles [sw12822]
  • that is slightly different from the exact solution, has been documented in the literature ... known limiting case for this is the existence of spurious currents for the simulation...
  • Hyperheuristics

  • Referenced in 136 articles [sw00424]
  • much superior to that of a manual solution but also these results were produced within ... savings resulting from using the existing hyperheuristic software framework...
  • Lotus 1-2-3

  • Referenced in 80 articles [sw27056]
  • their existing system in spite of the greatly expanded hardware capabilities. Lotus’ solution was marketed...
  • avalanche.f

  • Referenced in 18 articles [sw13859]
  • analytical solution are shown. We also prove the existence of a unique root...
  • QVILIB

  • Referenced in 15 articles [sw07063]
  • with several applications in different fields. Solution methods exist, but are either especially tailored ... engineering, the interest in general purpose solution methods is growing. The aim of this paper...
  • Guess

  • Referenced in 6 articles [sw09215]
  • general formula? Of course, no unique solution exists, owever, by Occam’s razor, we will...
  • Decision tree for optimization software

  • Referenced in 55 articles [sw13865]
  • Testcases: example files ready to use with existing software, in different formats. Books & Tutorials. Tools ... formulating an optimization problem or simplifying its solution...
  • MADM

  • Referenced in 123 articles [sw06484]
  • Order Preference by Similarity to Ideal Solution (TOPSIS), VIÅ¡ekriterijumsko KOmpromisno Rangiranje (VIKOR), Data Envelopment ... Ordered Weighted Averaging (OWA). The existing MADM methods are improved upon and three novel multiple...
  • SimpleMKL

  • Referenced in 62 articles [sw12290]
  • large-scale problems, by iteratively using existing support vector machine code. However, it turns ... numerous iterations for converging towards a reasonable solution. In this paper, we address...