Practical Access to Dynamic Programming on Tree Decompositions von Bannach, Max, Berndt, Sebastian

Volltext

Recent Advances in Positive-Instance Driven Graph Searching von Bannach, Max, Berndt, Sebastian

Volltext

Dynamic Kernels for Hitting Sets and Set Packing von Bannach, Max, Heinrich, Zacharias, Reischuk, Rüdiger, Tantau, Till

Volltext

On the Descriptive Complexity of Color Coding von Bannach, Max, Tantau, Till

Volltext

Computing Hitting Set Kernels By AC0-Circuits von Bannach, Max, Tantau, Till

Volltext

On the Parallel Parameterized Complexity of MaxSAT Variants von Bannach, Max, Skambath, Malte, Tantau, Till

Volltext

Sorting Signed Permutations by Inverse Tandem Duplication Random Losses von Hartmann, Tom, Bannach, Max, Middendorf, Martin

Volltext

Structure-Guided Cube-and-Conquer for MaxSAT von Bannach, Max, Hecher, Markus

Volltext

Complete edge-colored permutation graphs von Hartmann, Tom, Bannach, Max, Middendorf, Martin, Stadler, Peter F., Wieseke, Nicolas, Hellmuth, Marc

Volltext

Positive-Instance Driven Dynamic Programming for Graph Searching von Bannach, Max, Berndt, Sebastian

Volltext

Structure-Guided Automated Reasoning von Bannach, Max, Hecher, Markus

Volltext bestellen

Towards Work-Efficient Parallel Parameterized Algorithms von Bannach, Max, Skambath, Malte, Tantau, Till

Volltext

Recent Advances in Counting and Sampling Markov Equivalent DAGs von Wienöbst, Marcel, Bannach, Max, Liśkiewicz, Maciej

Volltext

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators von Bannach, Max, Grover, Jai, Hecher, Markus

Volltext bestellen

On the Descriptive Complexity of Vertex Deletion Problems von Bannach, Max, Chudigiewitsch, Florian, Tantau, Till

Volltext bestellen

Existential Second-Order Logic Over Graphs: Parameterized Complexity von Bannach, Max, Chudigiewitsch, Florian, Tantau, Till

Volltext bestellen

Structure-Guided Automated Reasoning von Bannach, Max, Hecher, Markus

Volltext

Positive-Instance Driven Dynamic Programming for Graph Searching von Bannach, Max, Berndt, Sebastian

Volltext bestellen

On the Parallel Parameterized Complexity of MaxSAT Variants von Bannach, Max, Skambath, Malte, Tantau, Till

Volltext bestellen

Polynomial-Time Algorithms for Counting and Sampling Markov Equivalent DAGs with Applications von Wienöbst, Marcel, Bannach, Max, Liśkiewicz, Maciej

Volltext bestellen