• Scatter Search

  • Referenced in 293 articles [sw05291]
  • trial solutions by combining so-called reference solutions and employing strategic designs that exploit context ... implementation goal is to create a combination of the five elements in the scatter search...
  • SMT-RAT

  • Referenced in 19 articles [sw13091]
  • open source C++ toolbox for strategic and parallel SMT solving consisting of a collection ... modules. These modules can be combined to (1) an SMT solver or (2) a theory...
  • SATURN

  • Referenced in 7 articles [sw20641]
  • flexible highway assignment package to create both strategic and local traffic models. SATURN has been ... over the last 30 years by the combination of academic theoretical rigour, through Dr Dirck ... Atkins Limited. Whatever your transport needs… Strategic Highways Assignment; Strategy Development; Traffic Management Measures; Highway...
  • KraljicMatrix

  • Referenced in 1 article [sw29160]
  • hbr.org/1983/09/purchasing-must-become-supply-management>) for strategically analyzing a firm’s purchasing portfolio. It combines multi-objective decision...
  • PrHERBY

  • Referenced in 1 article [sw25429]
  • combines semantis trees and resolution-refutation methods. The parallel system is scalable by strategically selecting...
  • gamet

  • Referenced in 0 articles [sw37609]
  • several agents (individuals, groups, or any combination of these) are interdependent. We present ... extensive form (game tree) and the strategic form (payoff matrix) of a noncooperative game...
  • CommentAdviser

  • Referenced in 0 articles [sw29696]
  • Method combining structural and semantic features to support code commenting decision. Code comment is quite ... help developer review and comprehend source code. Strategic comment decision is desired to cover core...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CoCoALib

  • Referenced in 61 articles [sw00144]
  • CoCoALib: A C++ library for computations in commutative...
  • DEA

  • Referenced in 244 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • Matlab

  • Referenced in 13460 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 565 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • nauty

  • Referenced in 609 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • R

  • Referenced in 9810 articles [sw00771]
  • R is a language and environment for statistical...
  • PRISM

  • Referenced in 442 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • DYNAMO

  • Referenced in 261 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...
  • Stratego

  • Referenced in 78 articles [sw01259]
  • Stratego/XT is a language and toolset for program...
  • Prosper

  • Referenced in 8 articles [sw01309]
  • Clear separation of presentation and code-behind, declarative...
  • GiNaC

  • Referenced in 79 articles [sw01609]
  • GiNaC is a C++ library. It is designed...