• ComputeTW

  • Referenced in 47 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 10 articles [sw13845]
  • case of trees, and graphs of bounded treewidth. Our algorithm allows the identification...
  • D-FLAT

  • Referenced in 7 articles [sw09895]
  • monolithic ASP encodings on instances of small treewidth...
  • 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...
  • ToTo

  • Referenced in 3 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...
  • qTorch

  • Referenced in 4 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 28 articles [sw00145]
  • Two codes are discussed, COLAMD and SYMAMD, that...
  • Coq

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

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

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

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

  • Referenced in 43 articles [sw00723]
  • This work presents a new framework for Gröbner...
  • SageMath

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

  • Referenced in 1362 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • SATLIB

  • Referenced in 57 articles [sw02107]
  • SATLIB is a collection of benchmark problems, solvers...
  • CUDA

  • Referenced in 1169 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...