|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Mulhern, James Harrison ; Zhao, Bingyu ; Shibayama, Takeru ; Raidl, Günther R. | Public Transit Optimization via a Novel Connectivity Parameter | Presentation Vortrag | 7-May-2026 |
| 2 | | Gaspers, Serge ; Szeider, Stefan | Backdoors to satisfaction continued | Article Artikel  | May-2026 |
| 3 | | de Colnet, Alexis ; Ordyniak, Sebastian ; Szeider, Stefan | OBDDs, SDDs, and circuits of bounded width: Completeness matters | Article Artikel | Feb-2026 |
| 4 | | Ordyniak, Sebastian ; Paesani, Giacomo ; Rychlicki, Mateusz ; Szeider, Stefan | A General Theoretical Framework for Learning Smallest Interpretable Models | Article Artikel | Jan-2026 |
| 5 | | Szeider, Stefan | Selbstreflektierende KI | Presentation Vortrag | 15-Dec-2025 |
| 6 | | Raidl, Günther | Learning to Guide Search in Combinatorial Optimization | Presentation Vortrag | 2-Dec-2025 |
| 7 | | Depian, Thomas ; Nöllenburg, Martin ; Terziadis, Soeren ; Wallinger, Markus | Constrained boundary labeling | Article Artikel | Dec-2025 |
| 8 | | Wallinger, Markus ; Piselli, Tommaso ; Tappini, Alessandra ; Archambault, Daniel ; Liotta, Giuseppe ; Nöllenburg, Martin | Bundling-Aware Graph Drawing Revisited | Article Artikel | Dec-2025 |
| 9 | | Cabello, Sergio ; Dobler, Alexander ; Fijavž, Gašper ; Hamm, Thekla ; Wagner, Mirko H. | A Dichotomy for 1-Planarity with Restricted Crossing Types Parameterized by Treewidth | Inproceedings Konferenzbeitrag | 27-Nov-2025 |
| 10 | | Chiu, Alvin ; Depian, Thomas ; Eppstein, David ; Goodrich, Michael T. ; Nöllenburg, Martin | Visualizing Treewidth | Inproceedings Konferenzbeitrag | 26-Nov-2025 |
| 11 | | Dobler, Alexander ; Hegemann, Tim ; Nöllenburg, Martin ; Wolff, Alexander | Optimizing Wiggle in Storylines | Inproceedings Konferenzbeitrag | 26-Nov-2025 |
| 12 | | Dobler, Alexander ; Holzmüller, Maximilian ; Nöllenburg, Martin | Geometry Matters in Planar Storyplans | Inproceedings Konferenzbeitrag | 26-Nov-2025 |
| 13 | | Bresich, Maria | Search Space Reduction Through Machine Learning for the Electric Autonomous Dial-A-Ride Problem | Presentation Vortrag | 6-Nov-2025 |
| 14 | | Varga, Johannes | Learning to Predict User Replies in Interactive Job Scheduling | Presentation Vortrag | 6-Nov-2025 |
| 15 | | Tomandl, Laurenz | A Reinforcement Learning Guided Large Neighborhood Search for the Dynamic Electric Autonomous Dial-a-Ride Problem | Presentation Vortrag | 6-Nov-2025 |
| 16 | | Iurlano, Enrico | Towards Heuristics for Short Universal Cycle Coverings | Presentation Vortrag | 6-Nov-2025 |
| 17 | | Bhore, Sujoy ; Nöllenburg, Martin ; Tóth, Csaba D. ; Wulms, Jules | Fully Dynamic Maximum Independent Sets of Disks in Polylogarithmic Update Time | Article Artikel | 31-Oct-2025 |
| 18 | | Voboril, Florentina ; Peruvemba Ramaswamy, Vaidyanathan ; Szeider, Stefan | Generating Streamlining Constraints with Large Language Models | Article Artikel | 29-Oct-2025 |
| 19 | | Balabán, Jakub ; Ganian, Robert ; Rocton, Mathis | Computing Twin-Width Parameterized by the Feedback Edge Number and Vertex Integrity | Article Artikel | 17-Oct-2025 |
| 20 | | Di Bartolomeo, Sara | Information Visualization Perspectives on Network Visualization | Presentation Vortrag | 15-Oct-2025 |
| 21 | | Dreier, Jan ; Ganian, Robert ; Hamm, Thekla | Approximate Evaluation of Quantitative Second Order Queries | Inproceedings Konferenzbeitrag | 9-Oct-2025 |
| 22 | | Depian, Thomas ; Fink, Simon D. ; Ganian, Robert ; Surianarayanan, Vaishali | Linear Layouts Revisited: Stacks, Queues, and Exact Algorithms | Inproceedings Konferenzbeitrag | 1-Oct-2025 |
| 23 | | Ehlers, Henry ; Pahr, Daniel ; Di Bartolomeo, Sara ; Filipov, Velitchko ; Wu, Hsiang-Yun ; Raidou, Renata G. | Wiggle! Wiggle! Wiggle! Visualizing uncertainty in node attributes in straight-line node-link diagrams using animated wiggliness | Article Artikel | Oct-2025 |
| 24 | | Pahr, Daniel ; Di Bartolomeo, Sara | Investigating the Task Load of Investigating the Task Load in Visualization Studies | Preprint Preprint | 29-Sep-2025 |
| 25 | | Di Bartolomeo, Sara | Information Visualization Perspective on Network Visualization | Presentation Vortrag | 22-Sep-2025 |
| 26 | | Iurlano, Enrico ; Raidl, Günther R. | Complexity of Positive Influence Domination on Partial Grids | Inproceedings Konferenzbeitrag | 21-Sep-2025 |
| 27 | | Szeider, Stefan | Neural Meets Symbolic: Synergies Between Language Models and Constraint Reasoning | Presentation Vortrag | 3-Sep-2025 |
| 28 | | Prabhakar, Archana ; Grison, Elise ; Morgagni, Simone ; Nöllenburg, Martin ; Gyselinck, Valérie | Passenger Decision‐Making in Mass Transit Systems: Insights From Dual‐Process Theories | Article Artikel | Sep-2025 |
| 29 | | Deligkas, Argyrios ; Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Leko, Dominik ; Ramanujan, M. S. | Routing Few Robots in a Crowded Network | Inproceedings Konferenzbeitrag | 29-Aug-2025 |
| 30 | | Dobler, Alexander ; Nöllenburg, Martin | On Minimizing Wiggle in Stacked Area Charts | Inproceedings Konferenzbeitrag | 29-Aug-2025 |
| 31 | | Caroppo, Susanna ; Lozzo, Giordano Da ; Battista, Giuseppe Di ; Goodrich, Michael T. ; Nöllenburg, Martin | Quantum Speedups for Polynomial-Time Dynamic Programming Algorithms | Inproceedings Konferenzbeitrag | 29-Aug-2025 |
| 32 | | Brötzner, Anna ; Ganian, Robert ; Hamm, Thekla ; Klute, Fabian ; Parada, Irene | Crossing and Independent Families Among Polygons | Inproceedings Konferenzbeitrag | 29-Aug-2025 |
| 33 | | Szeider, Stefan | Neural Meets Symbolic: Synergies Between Language Models and Constraint Reasoning | Presentation Vortrag | 11-Aug-2025 |
| 34 | | Voboril, Florentina ; Peruvemba Ramaswamy, Vaidyanathan ; Szeider, Stefan | Balancing Latin Rectangles with LLM-Generated Streamliners | Inproceedings Konferenzbeitrag | 8-Aug-2025 |
| 35 | | Zhang, Tianwei ; Szeider, Stefan | The 3-Decomposition Conjecture: A SAT-Based Approach with Specialized Propagators | Inproceedings Konferenzbeitrag | 8-Aug-2025 |
| 36 | | Schidler, André ; Szeider, Stefan | Analyzing Reformulation Performance in Core-Guided MaxSAT Solving | Inproceedings Konferenzbeitrag | 7-Aug-2025 |
| 37 | | Szeider, Stefan | Bridging Language Models and Symbolic Solvers via the Model Context Protocol | Inproceedings Konferenzbeitrag | 7-Aug-2025 |
| 38 | | Szeider, Stefan | SAT Modulo Symmetries: A Survey | Presentation Vortrag | 2-Aug-2025 |
| 39 | | Szeider, Stefan | SAT Modulo Symmetries: A Survey | Inproceedings Konferenzbeitrag | 2-Aug-2025 |
| 40 | | Dobler, Alexander | A note on the complexity of one-sided crossing minimization of trees | Article Artikel | Aug-2025 |
| 41 | | Schidler, André ; Szeider, Stefan | Extracting Problem Structure with LLMs for Optimized SAT Local Search | Inproceedings Konferenzbeitrag | 20-Jul-2025 |
| 42 | | Ansótegui, Carlos ; Peruvemba Ramaswamy, Vaidyanathan ; Szeider, Stefan ; Xia, Hai | Uncovering and Verifying Optimal Community Structure in Complex Networks: A MaxSAT Approach | Inproceedings Konferenzbeitrag | 4-Jul-2025 |
| 43 | | Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Ramanujan, M. S. | A Minor-Testing Approach for Coordinated Motion Planning with Sliding Robots | Inproceedings Konferenzbeitrag | 20-Jun-2025 |
| 44 | | Fink, Simon D. ; Peters, Dominik | Incremental and Interactive PQ- and PC-Trees | Inproceedings Konferenzbeitrag   | 20-Jun-2025 |
| 45 | | Bergold, Helena ; Egeling, Lukas ; Hoang, Phuc Hung | Signotopes with Few Plus Signs | Inproceedings Konferenzbeitrag | 20-Jun-2025 |
| 46 | | Voboril, Florentina ; Peruvemba Ramaswamy, Vaidyanathan ; Szeider, Stefan | StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners | Inproceedings Konferenzbeitrag | 19-Jun-2025 |
| 47 | | Dreier, Jan ; Toruńczyk, Szymon | Merge-Width and First-Order Model Checking | Inproceedings Konferenzbeitrag | 15-Jun-2025 |
| 48 | | Bergougnoux, Benjamin ; Chekan, Vera ; Ganian, Robert ; Kanté, Mamadou Moustapha ; Mnich, Matthias ; Oum, Sang-il ; Pilipczuk, Michał ; van Leeuwen, Erik Jan | Space-Efficient Parameterized Algorithms on Graphs of Low Shrubdepth | Article Artikel | 10-Jun-2025 |
| 49 | | Deligkas, Argyrios ; Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Ramanujan, M. S. | Parameterized Algorithms for Multiagent Pathfinding on Trees | Inproceedings Konferenzbeitrag | 5-Jun-2025 |
| 50 | | Szeider, Stefan | Certifying Dynamic Symmetry Breaking in SAT and QBF | Presentation Vortrag | 5-Jun-2025 |
| 51 | | Kobourov, Stephen ; Löffler, Maarten ; Montecchiani, Fabrizio ; Pilipczuk, Marcin ; Rutter, Ignaz ; Seidel, Raimund ; Sorge, Manuel ; Wulms, Jules | The influence of dimensions on the complexity of computing decision trees | Article Artikel | Jun-2025 |
| 52 | | Di Bartolomeo, Sara ; Wallinger, Markus ; Nöllenburg, Martin | Optimizing Staircase Motifs in Biofabric Network Layouts | Article Artikel | 23-May-2025 |
| 53 | | Szeider, Stefan | Neural Meets Symbolic: Synergies Between Language Models and Constraint Reasoning | Presentation Vortrag | 3-May-2025 |
| 54 | | Dumas, Maël ; Perez, Anthony ; Rocton, Mathis ; Todinca, Ioan | Polynomial kernels for edge modification problems towards block and strictly chordal graphs | Article Artikel | 1-May-2025 |
| 55 | | Harviainen, Juha ; Sommer, Frank ; Sorge, Manuel ; Szeider, Stefan | Optimal Decision Tree Pruning Revisited: Algorithms and Complexity | Inproceedings Konferenzbeitrag | 1-May-2025 |
| 56 | | Komusiewicz, Christian ; Schidler, André ; Sommer, Frank ; Sorge, Manuel ; Staus, Luca Pascal | Learning Minimum-Size BDDs: Towards Efficient Exact Algorithms | Inproceedings Konferenzbeitrag | 1-May-2025 |
| 57 | | Frohner, Nikolaus ; Raidl, Günther R. | Learning Value Functions for Same-Day Delivery Problems in the Tardiness Regime | Inproceedings Konferenzbeitrag | 24-Apr-2025 |
| 58 | | Tomandl, Laurenz ; Jatschka, Thomas ; Raidl, Günther ; Rodemann, Tobias | A Learning Twolevel Optimization Approach for the Demand Maximizing Battery Swapping Station Location Problem | Inproceedings Konferenzbeitrag | 24-Apr-2025 |
| 59 | | Varga, Johannes ; Raidl, Günther R. ; Rodemann, Tobias | Selecting User Queries in Interactive Job Scheduling | Inproceedings Konferenzbeitrag | 24-Apr-2025 |
| 60 | | Firbas, Alexander ; Dobler, Alexander ; Holzer, Fabian ; Schafellner, Jakob ; Sorge, Manuel ; Villedieu, Anaïs ; Monika Wißmann | The complexity of cluster vertex splitting and company | Article Artikel | 15-Apr-2025 |
| 61 | | Deligkas, Argyrios ; Eiben, Eduard ; Ganian, Robert ; Goldsmith, Tiger-Lily ; Ioannidis, Stavros D. | The Complexity of Extending Fair Allocations of Indivisible Goods | Inproceedings Konferenzbeitrag | 11-Apr-2025 |
| 62 | | Depian, Thomas ; Fink, Simon D. ; Klemz, Boris ; Ganian, Robert ; Nöllenburg, Martin ; Sieper, Marie Diana | Partial Level Planarity Parameterized by the Size of the Missing Graph | Inproceedings Konferenzbeitrag | 11-Apr-2025 |
| 63 | | Janota, Mikoláš ; Kirchweger, Markus ; Peitl, Tomáš ; Szeider, Stefan | Breaking Symmetries in Quantified Graph Search: A Comparative Study | Inproceedings Konferenzbeitrag | 11-Apr-2025 |
| 64 | | Depian, Thomas ; Haase, Carolina ; Nöllenburg, Martin ; Schulz, André | On Planar Unit-Length Linear Linkages in Polygonal Domains | Inproceedings Konferenzbeitrag | Apr-2025 |
| 65 |  | Fink, Simon D. ; Rutter, Ignaz | Constrained planarity in practice : Engineering the synchronized planarity algorithm | Article Artikel | 11-Mar-2025 |
| 66 | | Harviainen, Juha ; Sommer, Frank ; Sorge, Manuel ; Szeider, Stefan | Optimal Decision Tree Pruning Revisited: Algorithms and Complexity | Preprint Preprint | 5-Mar-2025 |
| 67 | | Foucaud, Florent ; Galby, Esther ; Khazaliya, Liana ; Li, Shaohua ; Mc Inerney, Fionn ; Sharma, Roohani ; Tale, Prafullkumar | Metric Dimension and Geodetic Set Parameterized by Vertex Cover | Inproceedings Konferenzbeitrag | 24-Feb-2025 |
| 68 | | Depian, Thomas ; Fink, Simon Dominik ; Firbas, Alexander ; Ganian, Robert ; Nöllenburg, Martin | Pathways to Tractability for Geometric Thickness | Inproceedings Konferenzbeitrag | 7-Feb-2025 |
| 69 | | Dobler, Alexander ; Kobourov, Stephen ; Mondal, Debajyoti ; Nöllenburg, Martin | Representing Hypergraphs by Point-Line Incidences | Inproceedings Konferenzbeitrag | 7-Feb-2025 |
| 70 | | Ehlers, Henry ; Brich, Nicolas ; Krone, Michael ; Nöllenburg, Martin ; Yu, Jiacheng ; Natsukawa, Hiroaki ; Yuan, Xiaoru ; Wu, Hsiang-Yun | An introduction to and survey of biological network visualization | Article Artikel | Feb-2025 |
| 71 | | Eades, Peter ; Hong, Seokhee ; Liotta, Giuseppe ; Montecchiani, Fabrizio ; Nöllenburg, Martin ; Piselli, Tommaso ; Wismath, Stephen | Introducing fairness in network visualization | Article Artikel | Feb-2025 |
| 72 | | Huang, William ; Mei, Yi ; Raidl, Günther R. ; Zhang, Fangfang ; Tomandl, Laurenz ; Limmer, Steffen ; Zhang, Mengjie ; Rodemann, Tobias | Genetic Programming Hyper-Heuristic for the Dynamic Electric Dial-a-Ride Problem | Inproceedings Konferenzbeitrag | 1-Jan-2025 |
| 73 | | Fuchs, Johannes ; Frings, Alexander ; Heinle, Maria Viktoria ; Keim, Daniel A. ; Di Bartolomeo, Sara | Quality Metrics and Reordering Strategies for Revealing Patterns in BioFabric Visualizations | Article Artikel | 1-Jan-2025 |
| 74 | | Piccolotto, Nikolaus ; Wallinger, Markus ; Miksch, Silvia ; Bögl, Markus | UnDRground Tubes: Exploring Spatial Data With Multidimensional Projections and Set Visualization | Article Artikel | Jan-2025 |
| 75 | | Brand, Cornelius ; Ganian, Robert ; Kalyanasundaram, Subrahmanyam ; Mc Inerney, Fionn | The complexity of optimizing atomic congestion | Article Artikel | Jan-2025 |
| 76 | | Szeider, Stefan | Large and Parallel Human Sorting Networks | Inproceedings Konferenzbeitrag | 2025 |
| 77 | | Reixach, Jaume ; Blum, Christian ; Djukanovic, Marko ; Raidl, Günther R. | A Biased Random Key Genetic Algorithm for Solving the Longest Common Square Subsequence Problem | Article Artikel | 2025 |
| 78 | | Ehlers, Henry ; Pahr, Daniel ; Di Bartolomeo, Sara ; Stoiber, C. ; Filipov, Velitchko | BattleGraphs: Forge, Fortify, and Fight in the Network Arena | Inproceedings Konferenzbeitrag | 2025 |
| 79 | | Nöllenburg, Martin ; Sorge, Manuel ; Terziadis, Soeren ; Villedieu, Anais ; Wu, Hsiang Yun ; Wulms, Jules | Planarizing graphs and their drawings by vertex splitting | Article Artikel | 2025 |
| 80 | | Depian, Thomas ; Li, Guangping ; Nöllenburg, Martin ; Wulms, Jules | Transitions in dynamic point labeling | Article Artikel | 2025 |
| 81 | | Pahr, D. ; Di Bartolomeo, S. ; Ehlers, H. ; Filipov, V. A. ; Stoiber, C. ; Aigner, W. ; Wu, H.-Y. ; Raidou, R. G. | NODKANT: exploring constructive network physicalization | Article Artikel | 2025 |
| 82 | | Ganian, Robert ; Rocton, Mathis ; Wietheger, Simon | Training One-Dimensional Graph Neural Networks is NP-Hard | Inproceedings Konferenzbeitrag | 2025 |
| 83 | | Ganian, Robert ; Mc Inerney, Fionn ; Tsigkari, Dimitra | Parameterized Complexity of Caching in Networks | Inproceedings Konferenzbeitrag | 2025 |
| 84 | | Di Bartolomeo, Sara ; Buchmüller, Raphael Arthur ; Frings, Alexander ; Fuchs, Johannes ; Keim, Daniel | Reflections on the Uses and Available Choices of Categorical Colorschemes | Inproceedings Konferenzbeitrag | 2025 |
| 85 | | Fink, Simon D. ; Rutter, Ignaz ; Sandhya, T. P. | A Simple Partially Embedded Planarity Test Based on Vertex-Addition | Inproceedings Konferenzbeitrag | 2025 |
| 86 | | Brand, Cornelius ; Ganian, Robert ; Mc Inerney, Fionn ; Wietheger, Simon | A Structural Complexity Analysis of Hierarchical Task Network Planning | Inproceedings Konferenzbeitrag | 2025 |
| 87 | | Ganian, Robert ; Khazaliya, Liana ; Rocton, Mathis ; Mc Inerney, Fionn | The Computational Complexity of Positive Non-Clashing Teaching in Graphs | Inproceedings Konferenzbeitrag | 2025 |
| 88 | | Bresich, Maria ; Raidl, Günther R. ; Limmer, Steffen | Improvements in Large Neighborhood Search for the Electric Autonomous Dial-A-Ride Problem | Inproceedings Konferenzbeitrag | 2025 |
| 89 | | Chen, Jiehua ; Durand, Martin ; Hatschka, Christian | Multi-Organizational Scheduling: Individual Rationality, Optimality, and Complexity | Inproceedings Konferenzbeitrag | 2025 |
| 90 | | Chen, Jiehua ; Kaczmarek, Joanna ; Nüsken, Paul ; Rothe, Jörg ; Schlotter, Ildikó ; Seeger, Tessa | Control in Computational Social Choice | Inproceedings Konferenzbeitrag | 2025 |
| 91 | | Durand, Martin ; Erlacher, Laurin ; Müller Vistisen, Johanne ; Simola, Sofia | Parameterized Complexity of Hedonic Games with Enemy-Oriented Preferences | Inproceedings Konferenzbeitrag | 2025 |
| 92 | | Chen, Jiehua ; Hatschka, Christian ; Simola, Sofia | Partitioned Combinatorial Optimization Games | Inproceedings Konferenzbeitrag | 2025 |
| 93 | | Iurlano, Enrico ; Varga, Johannes ; Raidl, Günther R. | Tackling the α-Domination Problem Heuristically | Inproceedings Konferenzbeitrag | 2025 |
| 94 | | Staus, Luca Pascal ; Komusiewicz, Christian ; Sommer, Frank ; Sorge, Manuel | Witty: An Efficient Solver for Computing Minimum-Size Decision Trees | Inproceedings Konferenzbeitrag | 2025 |
| 95 | | Fazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin | Satisfiability Modulo User Propagators | Article Artikel | 27-Dec-2024 |
| 96 | | Chen, Jiehua | Fairness in Assignments with Congestion-Averse Agents: Concepts, Algorithms, and Complexity | Presentation Vortrag | 11-Dec-2024 |
| 97 | | Chen, Jiehua ; Hatschka, Christian ; Simola, Sofia Henna Elisa | Multi-Winner Reconfiguration | Presentation Vortrag | 11-Dec-2024 |
| 98 | | Balabán, Jakub ; Ganian, Robert ; Rocton, Mathis Teva | Twin-Width Meets Feedback Edges and Vertex Integrity | Inproceedings Konferenzbeitrag | 5-Dec-2024 |
| 99 |  | Chede, Sravanthi ; Chew, Leroy Nicholas ; Shukla, Anil | Circuits, Proofs and Propositional Model Counting | Inproceedings Konferenzbeitrag | 5-Dec-2024 |
| 100 | | Dobler, Alexander | PACE Solver Description: CRGone | Inproceedings Konferenzbeitrag | 5-Dec-2024 |
