Model Checking on Interpretations of Classes of Bounded Local Cliquewidth

Édouard Bonnet, Jan Niclas Dreier, Jakub Gajarský, Stephan Kreutzer, Nikolas Mählmann, Pierre Simon, Szymon Toruńczyk
January 2022
PDF bib

Abstract

Full Citation:

Édouard Bonnet, Jan Dreier, Jakub Gajarský, Stephan Kreutzer, Nikolas Mählmann, Pierre Simon, Szymon Toruńczyk. Model Checking on Interpretations of Classes of Bounded Local Cliquewidth. Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022), 2022, Association for Computing Machinery.

Type
Conference Paper
Jan Niclas Dreier
Jan Niclas Dreier

Jan Niclas Dreier was a Postdoctoral Researcher at the Algorithms and Complexity Group.