Results 1 to 20 of 92
Sort by:

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