First-order model checking on structurally sparse graph classes J Dreier, N Mählmann, S Siebertz Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 567-580, 2023 | 14 | 2023 |
Model checking on interpretations of classes of bounded local cliquewidth É Bonnet, J Dreier, J Gajarský, S Kreutzer, N Mählmann, P Simon, ... Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 14 | 2022 |
Flipper games for monadically stable graph classes J Gajarský, N Mählmann, R McCarty, P Ohlmann, M Pilipczuk, ... arXiv preprint arXiv:2301.13735, 2023 | 8 | 2023 |
Procedural content generation in competitive multiplayer platform games G Volkmar, N Mählmann, R Malaka Entertainment Computing and Serious Games: First IFIP TC 14 Joint …, 2019 | 7 | 2019 |
First-order model checking on monadically stable graph classes J Dreier, I Eleftheriadis, N Mählmann, R McCarty, M Pilipczuk, ... arXiv preprint arXiv:2311.18740, 2023 | 6 | 2023 |
Indiscernibles and wideness in monadically stable and monadically NIP classes J Dreier, N Mählmann, S Siebertz, S Toruńczyk arXiv preprint arXiv:2206.13765, 2022 | 6 | 2022 |
Recursive backdoors for SAT N Mählmann, S Siebertz, A Vigny arXiv preprint arXiv:2102.04707, 2021 | 6 | 2021 |
Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes J Dreier, N Mählmann, S Siebertz, S Toruńczyk 50th International Colloquium on Automata, Languages, and Programming (ICALP …, 2023 | 4 | 2023 |
Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes J Dreier, N Mählmann, S Toruńczyk arXiv preprint arXiv:2403.15201, 2024 | 1 | 2024 |
Combinatorial and Algorithmic Aspects of Monadic Stability J Dreier, N Mählmann, AE Mouawad, S Siebertz, A Vigny arXiv preprint arXiv:2206.14509, 2022 | 1 | 2022 |