• htd

  • Referenced in 9 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...
  • 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...
  • 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...
  • MiniSat

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

  • Referenced in 697 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • SCIP

  • Referenced in 536 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • UCI-ml

  • Referenced in 3379 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • Gurobi

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

  • Referenced in 56 articles [sw04130]
  • DIVINE is a tool for LTL model checking...
  • SNAP

  • Referenced in 166 articles [sw04184]
  • Stanford Network Analysis Platform (SNAP) is a general...
  • PVM

  • Referenced in 307 articles [sw04273]
  • PVM (Parallel Virtual Machine) is a software package...
  • Lparse

  • Referenced in 44 articles [sw04633]
  • Lparse Smodels works with variable-free programs that...