Gajarsk\'{y}, Jakub

Recent Publications

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