Publication:5875639

DOI10.4230/LIPIcs.FSTTCS.2019.7MaRDI QIDQ5875639

Christophe Paul, Dimitrios M. Thilikos, Isolde Adler

Publication date: 3 February 2023

zbMATH Keywords

obstructions; tree-decomposition; graph searching

Mathematics Subject Classification ID

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

68Qxx: Theory of computing