@inproceedings{DreierLotzeRossmanith20,
 address = {Dagstuhl, Germany},
 annote = {Keywords: random graphs, average-case complexity, first-order model checking},
 author = {Jan Dreier and Henri Lotze and Peter Rossmanith},
 booktitle = {47th International Colloquium on Automata, Languages, and Programming (ICALP 2020)},
 doi = {10.4230/LIPIcs.ICALP.2020.40},
 isbn = {978-3-95977-138-2},
 issn = {1868-8969},
 pages = {40:1--40:14},
 publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{ü}r Informatik},
 series = {Leibniz International Proceedings in Informatics (LIPIcs)},
 title = {{Hard Problems on Random Graphs}},
 url = {https://drops.dagstuhl.de/opus/volltexte/2020/12447},
 volume = {168},
 year = {2020}
}