• ComputeTW

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

  • Referenced in 13 articles [sw09228]
  • TreewidthLIB: A benchmark for algorithms for Treewidth and related graph problems. The notion of treewidth ... graphs for which computing their treewidth is relevant. TreewidthLIB is aimed at providing such ... benchmark for the comparison of algorithms computing treewidth, tree decompositions, but also for algorithms that ... solve problems related to treewidth, like branchwidth or minimum fill...
  • MUP

  • Referenced in 15 articles [sw11910]
  • complexity that is exponential only in the treewidth of the CNF formula. We provide...
  • QNet

  • Referenced in 11 articles [sw13845]
  • case of trees, and graphs of bounded treewidth. Our algorithm allows the identification...
  • D-FLAT

  • Referenced in 9 articles [sw09895]
  • monolithic ASP encodings on instances of small treewidth...
  • ToTo

  • Referenced in 4 articles [sw19369]
  • graphs become tractable on graphs of low treewidth, but the corresponding algorithms require access ... ideally, minimum) width. Unfortunately computation of treewidth is itself NP-hard and a wide variety ... benchmark datasets and extend the use of treewidth beyond the usual communities: the database...
  • tw-heuristic

  • Referenced in 4 articles [sw34759]
  • Turbocharging treewidth heuristics. A widely used class of algorithms for computing tree decompositions of graphs ... turbocharge these heuristics. For a target treewidth (k), suppose the heuristic has already computed...
  • qTorch

  • Referenced in 5 articles [sw27767]
  • show the expected result that as the treewidth of the quantum circuit’s line graph...
  • GPGPU-Treewidth

  • Referenced in 1 article [sw34778]
  • GPGPU treewidth: A GPU implementation for computing the treewidth of a graph...
  • COLAMD

  • Referenced in 32 articles [sw00145]
  • Two codes are discussed, COLAMD and SYMAMD, that...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Macaulay2

  • Referenced in 1904 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 3296 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • MiniSat

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

  • Referenced in 609 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • PolyBoRi

  • Referenced in 48 articles [sw00723]
  • Polybori: A framework for Gröbner-basis computations with...
  • SageMath

  • Referenced in 1970 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...