Hardness of FO Model-Checking on Random Graphs

Dreier, Jan (Corresponding author); Rossmanith, Peter (Corresponding author)

Saarbrücken/Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing (2019)
Contribution to a book, Contribution to a conference proceedings

In: 14th International Symposium on Parameterized and Exact Computation : IPEC 2019, September 11-13, 2019, Munich, Germany / edited by Bart M.P. Jansen, Jan Arne Telle
Page(s)/Article-Nr.: 11, [1]-15