Jakub Gajarský, Michal Pilipczuk, Marek Sokolowski, Giannos Stamoulis, Szymon Torunczyk:
Elementary first-order model checking for sparse graphs. CoRR abs/2401.16230 (2024)![text to speech]( "text-to-speech")
Elementary first-order model checking for sparse graphs. CoRR abs/2401.16230 (2024)
