Merge-Width and First-Order Model Checking

Abstract

Full Citation:

Dreier, Jan, Toru'nczyk, Szymon. 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 is a Postdoctoral Researcher at the Algorithms and Complexity Group.