• ALPS

  • Referenced in 13 articles [sw00036]
  • This paper describes the design of the Abstract...
  • GLOB

  • Referenced in 31 articles [sw00357]
  • GLOB -- a new VNS-based software for global...
  • Isabelle

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

  • Referenced in 4756 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

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

  • Referenced in 209 articles [sw00751]
  • A collection of electronically available data instances for...
  • R

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

  • Referenced in 62 articles [sw00884]
  • SNDlib is a library of test instances for...
  • AUTO

  • Referenced in 762 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • SCIP

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

  • Referenced in 126 articles [sw01094]
  • Algorithm 754: Fortran subroutines for approximate solution of...
  • PERL

  • Referenced in 247 articles [sw01225]
  • Programming Perl. Perl is a language for easily...
  • DSAT

  • Referenced in 5 articles [sw01463]
  • The deployment scheduling analysis tool (DSAT)...
  • DistAl

  • Referenced in 95 articles [sw01746]
  • DistAl: An inter-pattern distance-based constructive learning...
  • CLAIRE

  • Referenced in 34 articles [sw02583]
  • CLAIRE: Combining sets, search and rules to better...
  • OPNET

  • Referenced in 8 articles [sw02616]
  • The conception and characteristics of data Link 16...