Gajarský, Jakub

Recent Publications

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