Max Bannach

From MaRDI portal
Person:1987508



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
PACE solver description: UzL exact solver for one-sided crossing minimization2026-05-29Paper
On the descriptive complexity of vertex deletion problems2026-05-12Paper
Faster graph algorithms through DAG compression2025-11-10Paper
PACE solver description: the PACE 2023 parameterized algorithms and computational experiments challenge: twinwidth2025-09-24Paper
Existential second-order logic over graphs: parameterized complexity2025-09-24Paper
On the parallel parameterized complexity of MaxSAT variants2024-07-12Paper
MaxSAT with absolute value functions: a parameterized perspective2024-05-27Paper
Dynamic kernels for hitting sets and set packing2024-02-12Paper
On the parallel parameterized complexity of MaxSAT variants
The Journal of Artificial Intelligence Research (JAIR)
2023-12-20Paper
scientific article; zbMATH DE number 7764118 (Why is no real title available?)2023-11-13Paper
scientific article; zbMATH DE number 7764119 (Why is no real title available?)2023-11-13Paper
scientific article; zbMATH DE number 7759277 (Why is no real title available?)2023-11-02Paper
Dynamic kernels for hitting sets and set packing
Algorithmica
2022-10-27Paper
scientific article; zbMATH DE number 7559382 (Why is no real title available?)
(available as arXiv preprint)
2022-07-18Paper
On the descriptive complexity of color coding
(available as arXiv preprint)
2022-07-18Paper
Complete edge-colored permutation graphs
Advances in Applied Mathematics
2022-06-13Paper
Practical access to dynamic programming on tree decompositions
(available as arXiv preprint)
2021-08-04Paper
Computing kernels in parallel: lower and upper bounds
(available as arXiv preprint)
2021-08-04Paper
Practical access to dynamic programming on tree decompositions
Algorithms
2020-10-08Paper
Computing Hitting Set Kernels By AC^0-Circuits
(available as arXiv preprint)
2020-08-05Paper
Computing hitting set kernels by \(\mathrm{AC}^0\)-circuits
Theory of Computing Systems
2020-04-15Paper
Positive-instance driven dynamic programming for graph searching
(available as arXiv preprint)
2020-01-16Paper
Towards work-efficient parallel parameterized algorithms
WALCOM: Algorithms and Computation
2019-10-15Paper
Jdrasil: a modular library for computing tree decompositions2018-08-13Paper
Parallel Multivariate Meta-Theorems2018-04-10Paper
Fast parallel fixed-parameter algorithms via color coding
(available as arXiv preprint)
2017-09-29Paper


Research outcomes over time


This page was built for person: Max Bannach