Folgen
Nikolas Mählmann
Titel
Zitiert von
Zitiert von
Jahr
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
122023
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
122022
Flipper games for monadically stable graph classes
J Gajarský, N Mählmann, R McCarty, P Ohlmann, M Pilipczuk, ...
arXiv preprint arXiv:2301.13735, 2023
82023
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
72019
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
62022
Recursive backdoors for SAT
N Mählmann, S Siebertz, A Vigny
arXiv preprint arXiv:2102.04707, 2021
62021
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
32023
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
22023
Combinatorial and Algorithmic Aspects of Monadic Stability
J Dreier, N Mählmann, AE Mouawad, S Siebertz, A Vigny
arXiv preprint arXiv:2206.14509, 2022
12022
Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
J Dreier, N Mählmann, S Toruńczyk
arXiv preprint arXiv:2403.15201, 2024
2024
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–10