• htd

  • Referenced in 12 articles [sw21112]
  • basis for many fixed-parameter tractable algorithms for problems that are NP-hard in general...
  • SCARPA

  • Referenced in 7 articles [sw12608]
  • SCARPA, a novel scaffolder, which combines fixed-parameter tractable and bounded algorithms with Linear Programming...
  • C-SHORe

  • Referenced in 6 articles [sw13319]
  • same problem, our algorithm is fixed-parameter tractable, and we also offer significantly improved performance...
  • WhatsHap

  • Referenced in 5 articles [sw23105]
  • number of SNPs. WhatsHap is a fixed parameter tractable (FPT) approach with coverage...
  • tw-heuristic

  • Referenced in 4 articles [sw34759]
  • show that this subproblem is fixed-parameter tractable when parameterized...
  • solverALL

  • Referenced in 2 articles [sw33799]
  • edge modifications, thus contrasting the fixed-parameter tractability result for the classic Cluster Editing problem ... which is easily seen to be fixed-parameter tractable, we show that under standard complexity...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • CSDP

  • Referenced in 202 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • LEDA

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

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

  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • 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...
  • MBSPACK

  • Referenced in 41 articles [sw02146]
  • MBSPACK -- numerical integration software for constrained mechanical motion...
  • INTLAB

  • Referenced in 471 articles [sw04004]
  • INTLAB is the Matlab toolbox for reliable computing...
  • SDPT3

  • Referenced in 703 articles [sw04009]
  • This software is designed to solve conic programming...
  • UCI-ml

  • Referenced in 3403 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • 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...