Model Checking on Interpretations of Classes of Bounded Local Cliquewidth-Reference-Cited by-同舟云学术

Model Checking on Interpretations of Classes of Bounded Local Cliquewidth

Published:2022-08-02 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
language:
Short-container-title:

Author:

Bonnet Édouard¹,Dreier Jan²,Gajarský Jakub³,Kreutzer Stephan⁴,Mählmann Nikolas⁵,Simon Pierre⁶,Toruńczyk Szymon³

Affiliation:

1. Univ Lyon, CNRS, ENS de Lyon, France

2. TU Wien, Germany

3. University of Warsaw, Poland

4. TU Berlin, Germany

5. University of Bremen, Germany

6. University of California, Berkeley, USA

Funder

Agence Nationale de la Recherche

Deutsche Forschungsgemeinschaft

European Research Council

Publisher

ACM

Link

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

Reference32 articles.

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

2. John Baldwin and Saharon Shelah . 1985. Second-order quantifiers and the complexity of theories. Notre Dame Journal of Formal Logic 29 (07 1985 ). https://doi.org/10.1305/ndjfl/1093870870 John Baldwin and Saharon Shelah. 1985. Second-order quantifiers and the complexity of theories. Notre Dame Journal of Formal Logic 29 (07 1985). https://doi.org/10.1305/ndjfl/1093870870

3. Twin-width II: small classes

4. Twin-Width I: Tractable FO Model Checking;Bonnet Édouard;J. ACM,2021

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

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

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

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