• Scatter Search

  • Referenced in 286 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 18 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 316 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CoCoALib

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

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

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

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

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

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

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

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

  • Referenced in 74 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 75 articles [sw01609]
  • GiNaC is a C++ library. It is designed...