• SageMath

  • Referenced in 1994 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SDPLIB

  • Referenced in 67 articles [sw00838]
  • SDPLIB 1. 2, a library of semidefinite programming...
  • 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...
  • GraphBase

  • Referenced in 135 articles [sw01555]
  • The Stanford GraphBase is a freely available collection...
  • WordNet

  • Referenced in 411 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • SATLIB

  • Referenced in 59 articles [sw02107]
  • SATLIB is a collection of benchmark problems, solvers...
  • SNOPT

  • Referenced in 551 articles [sw02300]
  • SNOPT: An SQP algorithm for large-scale constrained...
  • LSSPER

  • Referenced in 29 articles [sw02485]
  • LSSPER: Solving the resource-constrained project scheduling problem...
  • CLAIRE

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

  • Referenced in 12 articles [sw02698]
  • CLOVES: a cluster-and-search heuristic to solve...
  • COMET

  • Referenced in 80 articles [sw03051]
  • Constraint-Based Local Search. The ubiquity of combinatorial...
  • L-BFGS

  • Referenced in 806 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • CALMA

  • Referenced in 106 articles [sw03235]
  • Algorithms for radio link frequency assignment: The CALMA...
  • CUDA

  • Referenced in 1325 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • UG

  • Referenced in 24 articles [sw03500]
  • UG - Ubiquity Generator framework: UG is a generic...
  • SHOGUN

  • Referenced in 103 articles [sw03517]
  • The SHOGUN machine learning toolbox. We have developed...