Hardness of FO Model-Checking on Random Graphs

Jan Niclas Dreier, Peter Rossmanith
January 2019
bib DOI

Abstract

Full Citation:

Jan Dreier, Peter Rossmanith. Hardness of FO Model-Checking on Random Graphs. 14th International Symposium on Parameterized and Exact Computation (IPEC 2019), volume 148 of LIPIcs, pages 11:1-11:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Type
Conference Paper
Jan Niclas Dreier
Jan Niclas Dreier

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