Nikolas Mählmann
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 16
Publications (10 Years): 16
Publications
- Jan Dreier, Nikolas Mählmann, Sebastian Siebertz
- Jan Dreier, Nikolas Mählmann, Sebastian Siebertz
- Jan Dreier, Nikolas Mählmann, Amer E. Mouawad, Sebastian Siebertz, Alexandre Vigny
- Jan Dreier, Nikolas Mählmann, Amer E. Mouawad, Sebastian Siebertz, Alexandre Vigny
- Nikolas Mählmann, Sebastian Siebertz, Alexandre VignyRecursive Backdoors for SAT. CoRR (2021)
- Nikolas Mählmann, Sebastian Siebertz, Alexandre Vigny
- Georg Volkmar, Nikolas Mählmann, Rainer Malaka