Algorithms and data structures for first-order logic with connectivity under vertex failures

DOI10.4230/lipics.icalp.2022.102MaRDI QIDQ6560901

Alexandre Vigny, Szymon Toruńczyk, Unnamed Author, Sebastian Siebertz, Michał Pilipczuk

Publication date: 24 June 2024

zbMATH Keywords

data structuresgraph algorithmscombinatorics and graph theoryfixed-parameter algorithms and complexitycomputational applications of logic

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Related Items (1)

Elimination distance to bounded degree on planar graphs preprint

This page was built for publication: Algorithms and data structures for first-order logic with connectivity under vertex failures