• COMET

  • Referenced in 80 articles [sw03051]
  • range from supply chain management to sports tournament scheduling. Over the last two decades, constraint...
  • gCol

  • Referenced in 25 articles [sw41492]
  • research problems such as seating plans, sports scheduling, and university timetabling. He includes many examples...
  • MiniSat

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

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

  • Referenced in 9 articles [sw00666]
  • PackLib 2 : an integrated library of multi-dimensional...
  • R

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

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

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

  • Referenced in 116 articles [sw02948]
  • ABACUS is a software system written in C...
  • SDPA

  • Referenced in 185 articles [sw03275]
  • SDPA (SemiDefinite Programming Algorithm)” is one of the...
  • CPLEX

  • Referenced in 2773 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • Gurobi

  • Referenced in 690 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • CSPLib

  • Referenced in 91 articles [sw04150]
  • CSPLib is a library of test problems for...
  • Walksat

  • Referenced in 209 articles [sw04328]
  • GSAT and WalkSat are local search algorithms to...
  • SATO

  • Referenced in 196 articles [sw04451]
  • SATO: A Solver for Propositional Satisfiability: The Davis...
  • fda (R)

  • Referenced in 1531 articles [sw04511]
  • fda: Functional Data Analysis , These functions were developed...
  • MINTO

  • Referenced in 135 articles [sw04587]
  • MINTO is a software system that solves mixed...
  • Concorde

  • Referenced in 317 articles [sw04770]
  • Concorde is a computer code for the symmetric...
  • Blossom IV

  • Referenced in 36 articles [sw04781]
  • Computing minimum-weight perfect matchings. We make several...
  • Ipopt

  • Referenced in 740 articles [sw04808]
  • Ipopt (Interior Point OPTimizer, pronounced eye-pea-Opt...