
ComputeTW
 Referenced in 49 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...

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

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

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

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

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

Coq
 Referenced in 1807 articles
[sw00161]
 Coq is a formal proof management system. It...

Macaulay2
 Referenced in 1692 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

MiniSat
 Referenced in 536 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

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

PolyBoRi
 Referenced in 45 articles
[sw00723]
 This work presents a new framework for Gröbner...

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

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

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