scientific article; zbMATH DE number 7378377

DOI10.4230/LIPIcs.MFCS.2018.60MaRDI QIDQ5005163

Damien Pous, Christian Doczkal

Publication date: 4 August 2021

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

treewidthrewritinguniversal algebra

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

All subgraphs of a wheel are 5-coupled-choosable

Uses Software

• Coq
• Prover9
• Mace4

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Graph minors. XX: Wagner's conjecture
• Forbidden minors characterization of partial 3-trees
• Conjunctive query containment revisited
• Topology of series-parallel networks
• The complexity of homomorphism and constraint satisfaction problems seen from the other side
• Characterization and Recognition of Partial 3-Trees
• An algebraic theory of graph reduction
• Canonical representations of partial 2-and 3-trees

This page was built for publication: