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

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

LibTW
 Referenced in 8 articles
[sw29775]
 Computing treewidth with LibTW...

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 NPhard and a wide variety ... benchmark datasets and extend the use of treewidth beyond the usual communities: the database...

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

GPGPUTreewidth
 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 SATsolver. MiniSat is a minimalistic...

nauty
 Referenced in 609 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

PolyBoRi
 Referenced in 48 articles
[sw00723]
 Polybori: A framework for Gröbnerbasis computations with...

SageMath
 Referenced in 1970 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...