Results 1 to 20 of 134
Sort by:

  • ToulBar2
  • Referenced in 22 articles [sw07289]
  • Function Networks, Markov Random Fields, Weighted Constraint Satisfaction Problems, Weighted Max-SAT, Quadratic Pseudo-Boolean...

  • FGb
  • Referenced in 247 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...

  • GAP
  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...

  • Isabelle
  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...

  • LEDA
  • Referenced in 263 articles [sw00509]
  • In the core computer science areas -- data structures...

  • Mathematica
  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...

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

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

  • NAG
  • Referenced in 423 articles [sw00610]
  • Produced by experts for use in a variety...

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

  • Paramils
  • Referenced in 87 articles [sw00678]
  • Paramils: an automatic algorithm configuration framework. The identification...

  • PARDISO
  • Referenced in 287 articles [sw00679]
  • The package PARDISO is a thread-safe, high...

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

  • RelView
  • Referenced in 102 articles [sw00798]
  • The RelView-System is an interactive tool for...

  • TSPLIB
  • Referenced in 698 articles [sw00983]
  • TSPLIB is a library of sample instances for...

  • SCIP
  • Referenced in 542 articles [sw01091]
  • SCIP is currently one of the fastest non...

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

  • CP-nets
  • Referenced in 138 articles [sw01374]
  • CP-nets (Condition Preference Nets) is a tool...

  • Smalltalk
  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...