• Cliquer

  • Referenced in 72 articles [sw05044]
  • Cliquer - routines for clique searching. Cliquer is a...
  • VRP

  • Referenced in 1127 articles [sw05207]
  • The Vehicle Routing Problem (VRP) is one of...
  • GPOPS

  • Referenced in 93 articles [sw05853]
  • GPOPS-II - MATLAB Optimal Control Software. GPOPS-II...
  • Choco

  • Referenced in 66 articles [sw06254]
  • CHOCO is a java library for constraint satisfaction...
  • MiniZinc

  • Referenced in 87 articles [sw06261]
  • MiniZinc is a medium-level constraint modelling language...
  • WEKA

  • Referenced in 307 articles [sw06435]
  • WEKA: Waikato Environment for Knowledge Analysis. WEKA is...
  • Excel

  • Referenced in 787 articles [sw06848]
  • Microsoft Excel is a powerful spreadsheet application that...
  • Chaff

  • Referenced in 591 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability...
  • OEIS

  • Referenced in 4258 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • irace

  • Referenced in 150 articles [sw08008]
  • The irace Package: Iterated Race for Automatic Algorithm...
  • Scikit

  • Referenced in 624 articles [sw08058]
  • Scikit-learn: machine learning in python. Scikit-learn...
  • glmnet

  • Referenced in 632 articles [sw08159]
  • R package glmnet: Lasso and elastic-net regularized...
  • DIMACS

  • Referenced in 577 articles [sw08221]
  • The DIMACS Implementation Challenges address questions of determining...
  • XHSTT

  • Referenced in 17 articles [sw10878]
  • XHSTT: an XML archive for high school timetabling...
  • Julia

  • Referenced in 472 articles [sw13986]
  • Julia: A fast dynamic language for technical computing...
  • Dlib-ml

  • Referenced in 12 articles [sw14413]
  • Dlib-ml: A machine learning toolkit. There are...