Results 1 to 20 of 47
Sort by:

  • 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...