• WhatsHap

• Referenced in 5 articles [sw23105]
• SNPs. WhatsHap is a fixed parameter tractable (FPT) approach with coverage as the parameter...

• tw-heuristic

• Referenced in 4 articles [sw34759]
• respectively. Our experimental evaluation of the FPT algorithm shows that we can trade a reasonable...

• CSDP

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

• SCIP

• Referenced in 542 articles [sw01091]
• SCIP is currently one of the fastest non...

• Benchmarks for Optimization Software

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

• Regina

• Referenced in 43 articles [sw04862]
• Computational topology with Regina: algorithms, heuristics and implementations...

• Stony Brook

• Referenced in 90 articles [sw05040]
• The Stony Brook Algorithm Repository mainly for combinatorial...

• SPOT

• Referenced in 87 articles [sw06347]
• SPOT: Sequential Parameter Optimization , R-Package for Sequential...

• igraph

• Referenced in 209 articles [sw07066]
• igraph is a software package for complex network...

• OEIS

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

• Sat4j

• Referenced in 85 articles [sw07283]
• The Sat4j library, release 2.2 system description. Sat4j...

• SPARQL

• Referenced in 138 articles [sw07429]
• Federation and navigation in SPARQL 1.1. SPARQL is...

• DIMACS

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

• MaxCliqueDyn

• Referenced in 37 articles [sw08507]
• Maximum Clique Algorithm: MaxCliqueDyn is a fast exact...

• dynASP

• Referenced in 7 articles [sw09817]
• A dynamic-programming based ASP-solver. We present...

• ComputeTW

• Referenced in 54 articles [sw11360]
• ComputeTW - An interactive platform for computing Treewidth of...

• rSPR

• Referenced in 16 articles [sw13056]
• rSPR is a software package for calculating rooted...

• speedy_colorful_subtrees

• Referenced in 3 articles [sw14026]
• Speedy colorful subtrees. Fragmentation trees are a technique...

• BBMCSP

• Referenced in 10 articles [sw17718]
• A new exact maximum clique algorithm for large...

• ToTo

• Referenced in 4 articles [sw19369]
• ToTo: an open database for computation, storage and...