Merge-Width and First-Order Model Checking

Abstract

Full Citation:

Jan Dreier, Szymon Toruńczyk. 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.

Jan Niclas Dreier

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