A New Perspective on FO Model Checking of Dense Graph Classes

Jakub Gajarský, Petr Hlinený, Jan Obdrzálek, Daniel Lokshtanov, M. S. Ramanujan 0001. A New Perspective on FO Model Checking of Dense Graph Classes. ACM Trans. Comput. Log., 21(4), 2020. [doi]

Abstract

Abstract is missing.