Toruńczyk, Szymon

Recent Publications

Merge-Width and First-Order Model Checking
Proceedings of the 57th Annual ACM Symposium on Theory of Computing (STOC), pages 1944–1955, 2025, Association for Computing Machinery.
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.
Treelike Decompositions for Transductions of Sparse Graphs
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022), 2022, Association for Computing Machinery.