• ODEA

  • Referenced in 3 articles [sw07671]
  • problems arise in a variety of applied contexts, in particular telecommunication networks and automated vehicle ... routing. The main motivation typically is the desire to plan a structure which is safe ... paramount issue. In guiding of cargo vehicles, it is prevention of collisions. We have taken ... Containerterminal Altenwerder at Hamburg harbour. Disjoint Paths Problems are posed in the form...
  • ALPS

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

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

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

  • Referenced in 165 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • LEDA

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

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

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

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

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

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

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

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

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

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

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

  • Referenced in 256 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 98 articles [sw01746]
  • DistAl: An inter-pattern distance-based constructive learning...