Merge-Width and First-Order Model Checking

Jan Niclas Dreier, Toruńczyk, Szymon
January 2025
PDF Cite DOI
Type
Conference Paper
Jan Niclas Dreier
Jan Niclas Dreier

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