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

• Autowrite

• Referenced in 8 articles [sw01282]
• Autowrite: A tool for checking properties of term...

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

• OR-Library

• Referenced in 661 articles [sw04153]
• OR-Library is a collection of test data...

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

• GDToolkit

• Referenced in 10 articles [sw04391]
• GDToolkit (also known as GDT) is a Graph...

• Benchmarks for Optimization Software

• Referenced in 149 articles [sw04617]
• Benchmarks for Optimization Software: Here we provide information...

• Lparse

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