1

Minimizing Visual Clutter in Temporal Treemaps to Enable Comparison of Evolving Hierarchies

Dobler, Alexander, Le Thanh, Son, Martin Nöllenburg, Weinkauf, Tino

The Graph Burning Problem under Constrained Diffusion

Enrico Iurlano, Günther Raidl, Djukanović, Marko

Tractability via Low Dimensionality: The Parameterized Complexity of Training Quantized Neural Networks

Approximate Evaluation of Quantitative Second Order Queries

Jan Niclas Dreier, Robert Ganian, Hamm, Thekla

A Learning Twolevel Optimization Approach for the Demand Maximizing Battery Swapping Station Location Problem

Laurenz Tomandl, Jatschka, Thomas, Günther Raidl, Rodemann, Tobias

A Minor-Testing Approach for Coordinated Motion Planning with Sliding Robots

A Structural Complexity Analysis of Hierarchical Task Network Planning

Analyzing Reformulation Performance in Core-Guided MaxSAT Solving

Balancing Latin Rectangles with LLM-Generated Streamliners

Florentina Voboril

Better Extension Variables in DQBF via Independence