First-Order Model Checking on Structurally Sparse Graph Classes-Reference-Cited by-同舟云学术

First-Order Model Checking on Structurally Sparse Graph Classes

Published:2023-06-02 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 55th Annual ACM Symposium on Theory of Computing
language:
Short-container-title:

Author:

Dreier Jan¹,Mählmann Nikolas²,Siebertz Sebastian²

Affiliation:

1. TU Wien, Austria

2. University of Bremen, Germany

Funder

DFG

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3564246.3585186

Reference47 articles.

1. 2016. Algorithms , Logic and Structure Workshop in Warwick – Open Problem Session. https://warwick.ac.uk/fac/sci/maths/people/staff/daniel_kral/alglogstr/openproblems.pdf [Online; accessed 07-Feb-2023] 2016. Algorithms, Logic and Structure Workshop in Warwick – Open Problem Session. https://warwick.ac.uk/fac/sci/maths/people/staff/daniel_kral/alglogstr/openproblems.pdf [Online; accessed 07-Feb-2023]

2. Interpreting nowhere dense graph classes as a classical notion of model theory

3. Second-order quantifiers and the complexity of theories.

4. Model Checking on Interpretations of Classes of Bounded Local Cliquewidth. In LICS ’22;Bonnet Édouard;ACM,2022

5. Twin-width IV: ordered graphs and matrices

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

2. Elementary first-order model checking for sparse graphs;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

3. Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes;Proceedings of the 56th Annual ACM Symposium on Theory of Computing;2024-06-10

4. Data Reduction for Directed Feedback Vertex Set on Graphs Without Long Induced Cycles;Lecture Notes in Computer Science;2024

5. Flip-width: Cops and Robber on dense graphs;2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS);2023-11-06