- Links to
- Staff
- Winter semester 2018

- Parameterized Space and Circuit Complexity
- Fixed-Parameter Parallelization

*Max Bannach, Till Tantau*:**On the Descriptive Complexity of Color Coding.**

In*Proceedings of STACS 2019,*LIPIcs, LIPIcs, 2019.

Show PDF | Show abstract*Max Bannach, Malte Skambath, Till Tantau*:**Towards Work-Efficient Parallel Parameterized Algorithms.**

In*Proceedings of the 13th International Conference and Workshops on Algorithms and Computation (WALCOM 2019),*Springer, 2019.

Go to website | Show PDF | Show abstract*Tom Hartmann, Max Bannach, Martin Middendorf*:**Sorting Signed Permutations by Inverse Tandem Duplication Random Losses.**

In*Proceedings of the 17th Asia Pacific Bioinformatics Conference (APBC 2019),*, 2019.

Show PDF | Show abstract

*Max Bannach, Till Tantau*:**Computing Hitting Set Kernels By AC^0-Circuits.**

In*Proceedings of the 35th International Symposium on Theoretical Aspects of Computer Science,*LIPIcs, 2018.

Go to website | Show PDF | Show abstract*Max Bannach, Till Tantau*:**Computing Kernels in Parallel: Lower and Upper Bounds.**

In*Proceedings of the 13th International Symposium on Parameterized and Exact Computation (IPEC 2018),*LIPIcs, 2018.

Go to website | Show PDF | Show abstract*Max Bannach, Sebastian Berndt*:**Practical Access to Dynamic Programming on Tree Decompositions.**

In*Proceedings of the 26th Annual European Symposium on Algorithms,*LIPIcs, 2018.

Go to website | Show PDF | Show abstract*Max Bannach, Sebastian Berndt, Thorsten Ehlers, Dirk Nowotka*:**SAT-Encodings of Tree Decompositions.**

In*Proceedings of SAT Competition 2018: Solver and Benchmark Descriptions,*, 2018.

Go to website | Show abstract

*Max Bannach, Sebastian Berndt, Thorsten Ehlers*:**Jdrasil: A Modular Library for Computing Tree Decompositions.**

In*International Symposium on Experimental Algorithms (SEA 2017),*Volume 75 of*LIPIcs,*pp. 28:1--28:21. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017.

Go to website | Show PDF | Show abstract

*Max Bannach, Till Tantau*:**Parallel Multivariate Meta-Theorems.**

In*Proceedings of the 11th International Symposium on Parameterized and Exact Computation (IPEC 2016),*LIPIcs, 2016.

Go to website | Show PDF | Show abstract

*Max Bannach, Christoph Stockhusen, Till Tantau*:**Fast Parallel Fixed-Parameter Algorithms via Color Coding.**

In*Proceedings of the 10th International Symposium on Parameterized and Exact Computation (IPEC 2015),*LIPIcs, 2015.

Go to website | Show PDF | Show abstract

*Max Bannach:***On the Space and Circuit Complexity of Certain Parameterized Problems.**

Universität zu Lübeck, Institut für Theoretische Informatik, 2014.

Supervised by: Till Tantau, Maciej Liskiewicz.

Show PDF | Show abstract

*Max Bannach:***Berechnungskomplexitäten von Varianten des Subset-Sum-Problems.**

Universität zu Lübeck, Institut für Theoretische Informatik, 2012.

Supervised by: Till Tantau, Hans-Martin Teichert.

Show PDF | Show abstract