Hardness of FO Model-Checking on Random Graphs

Dreier, Jan; Rossmanith, Peter

doi:10.4230/LIPIcs.IPEC.2019.11

by Jan Dreier, Peter Rossmanith

Reference:

Hardness of FO Model-Checking on Random GraphsJan Dreier, Peter Rossmanith14th 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.

Bibtex Entry:

@string{lipics="LIPIcs"}
@inproceedings{DreierRossmanith19b,
  author    = {Jan Dreier and
               Peter Rossmanith},
  title     = {Hardness of {FO} Model-Checking on Random Graphs},
  booktitle = {14th International Symposium on Parameterized and Exact Computation ({IPEC} 2019)},
  series    = {LIPIcs},
  volume    = {148},
  pages     = {11:1--11:15},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2019},
  doi       = {10.4230/LIPIcs.IPEC.2019.11},
  timestamp = {Thu, 19 Dec 2019 09:27:29 +0100},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}