• 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 536 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • 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 203 articles [sw07066]
  • igraph is a software package for complex network...
  • OEIS

  • Referenced in 4187 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 137 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...
  • dynASP

  • Referenced in 6 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...
  • BBMCSP

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

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