TU Wien Informatics

20 Years

About

Our research unit is concerned with the development and analysis of efficient algorithms for hard computational problems that arise in practical applications, as well as the establishment of theoretical limits of algorithmic approaches.

In particular, the group considers problems arising in the areas of Combinatorial Optimisation, Artificial Intelligence, Automated Reasoning, Planning and Scheduling, Network Design, Cutting and Packing, Network Visualization, and Cartography.

Among the methods the group’s research builds upon are mathematical programming techniques, satisfiability solving techniques, metaheuristics, graph algorithms, computational geometry, fixed-parameter algorithms, constraint-based methods, and machine learning.

The group contributes to the research area Logic and Computation which is among the four focus areas at our faculty.

The research Unit Algorithms and Complexity is part of the Institute of Logic and Computation.

Jiehua Chen
Jiehua Chen J. Chen

Associate Professor
Assoc.Prof. Dr.

Robert Ganian
Robert Ganian R. Ganian

Associate Professor
Assoc.Prof. / PhD

Martin Nöllenburg
Martin Nöllenburg M. Nöllenburg

Full Professor
Univ.Prof. Dipl.-Inf. Dr.

Günther Raidl
Günther Raidl G. Raidl

Associate Professor
Ao.Univ.Prof. DI Dr.

Stefan Szeider
Stefan Szeider S. Szeider

Head of Research Unit
Univ.Prof. Mag. Dr.

Maria Bresich
Maria Bresich M. Bresich

PreDoc Researcher
DI / BSc

Leroy Nicholas Chew
Leroy Nicholas Chew L. Chew

PostDoc Researcher
PhD

Alexis de Colnet
Alexis de Colnet A. de Colnet

PostDoc Researcher
PhD

Thomas Depian
Thomas Depian T. Depian

PreDoc Researcher
DI / BSc

Alexander Dobler
Alexander Dobler A. Dobler

PreDoc Researcher
DI / BSc

Jan Niclas Dreier
Jan Niclas Dreier J. Dreier

PostDoc Researcher
Dr.

Martin Durand
Martin Durand M. Durand

PostDoc Researcher
Dr.

Simon Dominik Fink
Simon Dominik Fink S. Fink

PostDoc Researcher
Dr.

Alexander Firbas
Alexander Firbas A. Firbas

PreDoc Researcher
DI / BSc

Christian Hatschka
Christian Hatschka C. Hatschka

PreDoc Researcher
DI / BSc

Phuc Hung Hoang
Phuc Hung Hoang P. Hoang

PostDoc Researcher
Dr.

Marc Huber
Marc Huber M. Huber

PreDoc Researcher
MSc

Enrico Iurlano
Enrico Iurlano E. Iurlano

PreDoc Researcher
DI / BSc

Markus Kirchweger
Markus Kirchweger M. Kirchweger

PreDoc Researcher
DI / BSc

Viktoria Korchemna
Viktoria Korchemna V. Korchemna

PreDoc Researcher
DI / BSc

Tomas Peitl
Tomas Peitl T. Peitl

PostDoc Researcher
Dr.

Franz Xaver Reichl
Franz Xaver Reichl F. Reichl

PreDoc Researcher
DI

Andre Schidler
Andre Schidler A. Schidler

PostDoc Researcher
DI Dr. / BSc

Manuel Sorge
Manuel Sorge M. Sorge

PostDoc Researcher
Dipl.-Inf. Dr.

Laurenz Tomandl
Laurenz Tomandl L. Tomandl

PreDoc Researcher
DI / BSc

Johannes Varga
Johannes Varga J. Varga

PreDoc Researcher
DI / BSc BSc

Florentina Voboril
Florentina Voboril F. Voboril

PreDoc Researcher
DI / BSc

Markus Wallinger
Markus Wallinger M. Wallinger

PreDoc Researcher
DI

Simon Wietheger
Simon Wietheger S. Wietheger

PreDoc Researcher
MSc

Hai Xia
Hai Xia H. Xia

PreDoc Researcher

Tianwei Zhang
Tianwei Zhang T. Zhang

PreDoc Researcher

Doris Brazda
Doris Brazda D. Brazda

Office Services
Mag.

Olga Ganian
Olga Ganian O. Ganian

Project Services
Mag.

2023W

2024S

 

2024

2023

  • Computing optimal hypertree decompositions with SAT / Schidler, A., & Szeider, S. (2023). Computing optimal hypertree decompositions with SAT. Artificial Intelligence, 325, Article 104015. https://doi.org/10.1016/j.artint.2023.104015
    Download: PDF (1.74 MB)
    Projects: REVEAL-AI (2020–2024) / SLIM (2019–2024) / STRIDES (2023–2026)
  • SAT-boosted tabu search for coloring massive graphs / Schidler, A., & Szeider, S. (2023). SAT-boosted tabu search for coloring massive graphs. ACM Journal on Experimental Algorithmics, 28, Article 1.5. https://doi.org/10.1145/3603112
    Download: PDF (1.15 MB)
    Projects: DK - Logic (2014–2023) / REVEAL-AI (2020–2024) / SLIM (2019–2024) / STRIDES (2023–2026)
  • The st-Planar Edge Completion Problem Is Fixed-Parameter Tractable / Khazaliya, L., Kindermann, P., Liotta, G., Montecchiani, F., & Simonov, K. (2023). The st-Planar Edge Completion Problem Is Fixed-Parameter Tractable. In S. Iwata & N. Kakimura (Eds.), 34th International Symposium on Algorithms and Computation (ISAAC 2023) (pp. 1–13). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ISAAC.2023.46
  • Fast Convolutions for Near-Convex Sequences / Brand, C., & Lassota, A. (2023). Fast Convolutions for Near-Convex Sequences. In S. Iwata & N. Kakimura (Eds.), 34th International Symposium on Algorithms and Computation (ISAAC 2023) (pp. 1–16). Schloss-Dagstuhl - Leibniz Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ISAAC.2023.16
  • Hedonic diversity games: A complexity picture with more than two colors / Ganian, R., Hamm, T., Knop, D., Schierreich, Š., & Suchý, O. (2023). Hedonic diversity games: A complexity picture with more than two colors. Artificial Intelligence, 325, Article 104017. https://doi.org/10.1016/j.artint.2023.104017
  • Advancing Stability in Matching Markets: Multi-Modal Preferences and Beyond / Chen, J. (2023, November 6). Advancing Stability in Matching Markets: Multi-Modal Preferences and Beyond [Presentation]. Algorithms, Approximation, and Learning in Market and Mechanism Design, Oakland, United States of America (the).
  • Are hitting formulas hard for resolution? / Peitl, T., & Szeider, S. (2023). Are hitting formulas hard for resolution? Discrete Applied Mathematics, 337, 173–184. https://doi.org/10.1016/j.dam.2023.05.003
    Download: PDF (732 KB)
    Project: REVEAL-AI (2020–2024)
  • Efficient Algorithms for Monroe and CC Rules in Multi-Winner Elections with (Nearly) Structured Preferences / Chen, J., Hatschka, C., & Simola, S. (2023). Efficient Algorithms for Monroe and CC Rules in Multi-Winner Elections with (Nearly) Structured Preferences. In ECAI 2023 : 26th European Conference on Artificial Intelligence, September 30–October 4, 2023, Kraków, Poland. Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023). Proceedings (pp. 397–404). IOS Press. https://doi.org/10.3233/FAIA230296
    Download: PDF (337 KB)
    Project: Structural and Algorithmic Aspects of Preference-based Problems in Social Choice (2019–2027)
  • Proven Optimally-Balanced Latin Rectangles with SAT / Ramaswamy, V. P., & Szeider, S. (2023). Proven Optimally-Balanced Latin Rectangles with SAT. In R. Yap (Ed.), 29th International Conference on Principles and Practice of Constraint Programming (CP 2023). Schloss-Dagstuhl - Leibniz Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CP.2023.48
    Download: PDF (551 KB)
    Projects: REVEAL-AI (2020–2024) / STRIDES (2023–2026)
  • Searching for Smallest Universal Graphs and Tournaments with SAT / Zhang, T., & Szeider, S. (2023). Searching for Smallest Universal Graphs and Tournaments with SAT. In R. Yap (Ed.), 29th International Conference on Principles and Practice of Constraint Programming. https://doi.org/10.4230/LIPIcs.CP.2023.39
    Download: PDF (722 KB)
    Project: REVEAL-AI (2020–2024)
  • Transitions in Dynamic Point Labeling / Depian, T., Li, G., Nöllenburg, M., & Wulms, J. (2023). Transitions in Dynamic Point Labeling. In 12th International Conference on Geographic Information Science (GIScience 2023). 12th International Conference on Geographic Information Science (GIScience 2023), United Kingdom of Great Britain and Northern Ireland (the). Schloss-Dagstuhl - Leibniz Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.GIScience.2023.2
    Download: PDF (1.29 MB)
    Projects: Engineering Linear Ordering Algorithms for Optimizing Data Visualizations (2020–2025) / HumAlgo (2018–2023)
  • Faster edge‐path bundling through graph spanners / Wallinger, M., Archambault, D., Auber, D., Nöllenburg, M., & Peltonen, J. (2023). Faster edge‐path bundling through graph spanners. Computer Graphics Forum, 42(6), Article e14789. https://doi.org/10.1111/cgf.14789
    Download: PDF (1.81 MB)
  • Worbel: aggregating point labels into word clouds / Bhore, S., Ganian, R., Li, G., Nöllenburg, M., & Wulms, J. (2023). Worbel: aggregating point labels into word clouds. ACM Transactions on Spatial Algorithms and Systems, 9(3), Article 19. https://doi.org/10.1145/3603376
    Download: PDF (6.17 MB)
    Projects: HumAlgo (2018–2023) / Parameterisierte Analyse in der Künstlichen Intelligenz (2021–2026)
  • CSP beyond tractable constraint languages / Dreier, J., Ordyniak, S., & Szeider, S. (2023). CSP beyond tractable constraint languages. Constraints, 28(3), 450–471. https://doi.org/10.1007/s10601-023-09362-3
    Download: PDF (503 KB)
    Projects: REVEAL-AI (2020–2024) / SLIM (2019–2024)
  • Fixed-Parameter Algorithms for Computing {RAC} Drawings of Graphs / Brand, C., Ganian, R., Röder Sebastian, & Schager Florian. (2023). Fixed-Parameter Algorithms for Computing {RAC} Drawings of Graphs. In M. A. Bekos & M. Chimani (Eds.), Graph Drawing and Network Visualization : 31st International Symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20–22, 2023, Revised Selected Papers, Part II (pp. 66–81). Springer. https://doi.org/10.1007/978-3-031-49275-4_5
  • New Complexity-Theoretic Frontiers of Tractability for Neural Network Training / Brand, C., Ganian, R., & Rocton, M. T. (2023). New Complexity-Theoretic Frontiers of Tractability for Neural Network Training. In 37th Conference on Neural Information Processing Systems (NeurIPS 2023). NeurIPS 2023: Thirty-seventh Annual Conference on Neural Information Processing Systems, New Orleans, United States of America (the).
  • Space-Efficient Parameterized Algorithms on Graphs of Low Shrubdepth / Bergougnoux, B., Chekan, V., Ganian, R., Kanté, M. M., Mnich, M., Oum, S., Pilipczuk, M., & van Leeuwen, E. J. (2023). Space-Efficient Parameterized Algorithms on Graphs of Low Shrubdepth. In I. L. Gørtz, M. Farach-Colton, S. J. Puglisi, & G. Herman (Eds.), 31st Annual European Symposium on Algorithms, ESA 2023 (pp. 1–18). Schloss-Dagstuhl - Leibniz Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ESA.2023.18
  • Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond / Dreier, J., Mock, D., & Rossmanith, P. (2023). Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond. In 31st Annual European Symposium on Algorithms, ESA 2023. 31st Annual European Symposium on Algorithms (ESA 2023), Amsterdam, Netherlands (the). Schloss-Dagstuhl - Leibniz Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ESA.2023.43
    Download: PDF (653 KB)
  • Deterministic Constrained Multilinear Detection / Brand, C., Korchemna, V., & Skotnica, M. (2023). Deterministic Constrained Multilinear Detection. In J. Leroux, S. Lombardy, & D. Peleg (Eds.), 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023) (pp. 1–14). Schloss-Dagstuhl - Leibniz Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2023.25
    Download: PDF (677 KB)
    Project: Parameterisierte Analyse in der Künstlichen Intelligenz (2021–2026)
  • IPASIR-UP: User Propagators for CDCL / Fazekas, K., Niemetz, A., Preiner, M., Kirchweger, M., Szeider, S., & Biere, A. (2023). IPASIR-UP: User Propagators for CDCL. In M. Mahajan & F. Slivovsky (Eds.), 26th International Conference on Theory and Applications of Satisfiability Testing (pp. 8:1-8:13). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SAT.2023.8
    Download: PDF (797 KB)
    Projects: INCR (2021–2024) / REVEAL-AI (2020–2024) / SLIM (2019–2024)
  • A SAT Solver's Opinion on the Erdos-Faber-Lovász Conjecture / Kirchweger, M., Peitl, T., & Szeider, S. (2023). A SAT Solver’s Opinion on the Erdos-Faber-Lovász Conjecture. In M. Mahajan (Ed.), 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023) (pp. 1–17). Schloss-Dagstuhl - Leibniz Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SAT.2023.13
    Download: PDF (651 KB)
    Projects: REVEAL-AI (2020–2024) / SLIM (2019–2024)
  • SAT-Based Generation of Planar Graphs / Markus Kirchweger, Scheucher, M., & Stefan Szeider. (2023). SAT-Based Generation of Planar Graphs. In 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023). 26th International Conference on Theory and Applications of Satisfiability Testing (SAT), Alghero, Italy. Schloss-Dagstuhl - Leibniz Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SAT.2023.14
    Download: PDF (581 KB)
    Projects: REVEAL-AI (2020–2024) / SLIM (2019–2024)
  • Separating Incremental and Non-Incremental Bottom-Up Compilation / De Colnet, A. (2023). Separating Incremental and Non-Incremental Bottom-Up Compilation. In M. Mahajan & F. Slivovsky (Eds.), 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023). Schloss-Dagstuhl - Leibniz Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SAT.2023.7
    Download: PDF (684 KB)
    Project: Overcoming Intractability in the Knowledge Compilation Map (2022–2025)
  • Multi-Objective Policy Evolution for a Same-Day Delivery Problem with Soft Deadlines / Frohner, N., Raidl, G., & Chicano, F. (2023). Multi-Objective Policy Evolution for a Same-Day Delivery Problem with Soft Deadlines. In GECCO ’23 Companion: Proceedings of the Companion Conference on Genetic and Evolutionary Computation (pp. 1941–1949). Association for Computing Machinery. https://doi.org/10.1145/3583133.3596381
  • Pseudorandom Finite Models / Dreier, J., & Tucker-Foltz, J. (2023). Pseudorandom Finite Models. In 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (pp. 1–13). IEEE. https://doi.org/10.1109/LICS56636.2023.10175694
  • Maximizing Social Welfare in Score-Based Social Distance Games / Ganian, R., Hamm, T., Knop, D., Roy, S., Schierreich, Š., & Suchý, O. (2023). Maximizing Social Welfare in Score-Based Social Distance Games. In R. Verbrugge (Ed.), Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge (pp. 272–286). https://doi.org/10.4204/EPTCS.379.22
  • Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes / Dreier, J., Mählmann, N., Siebertz, S., & Toruńczyk, S. (2023). Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes. In 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023). 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023), Paderborn, Germany. Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2023.125
    Download: PDF (864 KB)
  • First-Order Model Checking on Structurally Sparse Graph Classes / Dreier, J., Mählmann, N., & Siebertz, S. (2023). First-Order Model Checking on Structurally Sparse Graph Classes. In Proceedings of the 55th Annual ACM Symposium on Theory of Computing (pp. 567–580). https://doi.org/10.1145/3564246.3585186
  • The silent (r)evolution of SAT / Fichte, J. K., Le Berre, D., Hecher, M., & Szeider, S. (2023). The silent (r)evolution of SAT. Communications of the ACM, 66(6), 64–72. https://doi.org/10.1145/3560469
    Download: PDF (1020 KB)
    Projects: HYPAR (2019–2024) / REVEAL-AI (2020–2024) / START (2014–2022)
  • Large neighborhood search for electric vehicle fleet scheduling / Limmer, S., Varga, J., & Raidl, G. (2023). Large neighborhood search for electric vehicle fleet scheduling. Energies, 16(12), Article 4576. https://doi.org/10.3390/en16124576
    Download: PDF (328 KB)
  • LinSets.zip: Compressing Linear Set Diagrams / Wallinger, M., Dobler, A., & Nöllenburg, M. (2023). LinSets.zip: Compressing Linear Set Diagrams. IEEE Transactions on Visualization and Computer Graphics, 29(6), 2875–2887. https://doi.org/10.1109/TVCG.2023.3261934
  • On the parameterized complexity of clustering problems for incomplete data / Eiben, E., Ganian, R., Kanj, I., Ordyniak, S., & Szeider, S. (2023). On the parameterized complexity of clustering problems for incomplete data. Journal of Computer and System Sciences, 134, 1–19. https://doi.org/10.1016/j.jcss.2022.12.001
  • On the upward book thickness problem: Combinatorial and complexity results / Bhore, S., Da Lozzo, G., Montecchiani, F., & Nöllenburg, M. (2023). On the upward book thickness problem: Combinatorial and complexity results. European Journal of Combinatorics, 110, Article 103662. https://doi.org/10.1016/j.ejc.2022.103662
  • Group Activity Selection with Few Agent Types / Ganian, R., Ordyniak, S., & Rahul, C. S. (2023). Group Activity Selection with Few Agent Types. Algorithmica, 85(5), 1111–1155. https://doi.org/10.1007/s00453-022-01058-z
  • Isomorph-Free Generation of Combinatorial Objects with SAT Modulo Symmetries / Szeider, S. (2023, April 18). Isomorph-Free Generation of Combinatorial Objects with SAT Modulo Symmetries [Presentation]. Extended Reunion: Satisfiability 2023, United States of America (the).
  • Growth of the perfect sequence covering array number / Iurlano, E. (2023). Growth of the perfect sequence covering array number. Designs, Codes and Cryptography, 91(4), 1487–1494. https://doi.org/10.1007/s10623-022-01168-3
    Download: PDF (257 KB)
  • Untangling circular drawings: Algorithms and complexity / Bhore, S., Li, G., Nöllenburg, M., Rutter, I., & Wu, H.-Y. (2023). Untangling circular drawings: Algorithms and complexity. Computational Geometry, 111, Article 101975. https://doi.org/10.1016/j.comgeo.2022.101975
    Download: PDF (499 KB)
    Project: HumAlgo (2018–2023)
  • A Multilevel Optimization Approach for Large Scale Battery Exchange Station Location Planning / Jatschka, T., Rodemann, T., & Raidl, G. R. (2023). A Multilevel Optimization Approach for Large Scale Battery Exchange Station Location Planning. In L. Pérez Cáceres & T. Stützle (Eds.), Evolutionary Computation in Combinatorial Optimization: 23rd European Conference, EvoCOP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023. Proceedings (pp. 50–65). Springer. https://doi.org/10.34726/5294
    Download: PDF (497 KB)
  • Bitonic st-orderings for upward planar graphs: splits and bends in the variable embedding scenario / Angelini, P., Bekos, M. A., Förster, H., & Gronemann, M. (2023). Bitonic st-orderings for upward planar graphs: splits and bends in the variable embedding scenario. Algorithmica, 85, 2667–2692. https://doi.org/10.1007/s00453-023-01111-5
    Download: PDF (688 KB)
  • Planar L-drawings of directed graphs / Chaplick, S., Cornelsen, S., Nöllenburg, M., Tollis, I. G., Chimani, M., Da Lozzo, G., Patrignani, M., & Wolf, A. (2023). Planar L-drawings of directed graphs. Computing in Geometry and Topology, 2(1), 7:1-7:15. https://doi.org/10.34726/5407
    Download: PDF (794 KB)
  • Parameterized complexity of envy-free resource allocation in social networks / Eiben, E., Ganian, R., Hamm, T., & Ordyniak, S. (2023). Parameterized complexity of envy-free resource allocation in social networks. Artificial Intelligence, 315, Article 103826. https://doi.org/10.1016/j.artint.2022.103826
  • Hardness Characterisations and Size-width Lower Bounds for QBF Resolution / Beyersdorff, O., Blinkhorn, J., Mahajan, M., & Peitl, T. (2023). Hardness Characterisations and Size-width Lower Bounds for QBF Resolution. ACM Transactions on Computational Logic, 24(2), Article 10. https://doi.org/10.34726/3603
    Download: Posted for your personal use. Not for redistribution. (631 KB)
    Project: From QBF to DQBF: Theory together with Practice (2021–2022)
  • Parallel Beam Search for Combinatorial Optimization / Frohner, N., Gmys, J., Melab, N., Raidl, G., & Talbi, E.-G. (2023). Parallel Beam Search for Combinatorial Optimization. In The 51st International Conference on Parallel Processing. Workshop Proceedings. 51st International Conference on Parallel Processing (ICPP ’22), Bordeaux, France. Association for Computing Machinery. https://doi.org/10.1145/3547276.3548633
    Download: PDF (649 KB)
    Project: Computational Optimization (DK) (2016–2024)
  • Circuit Minimization with QBF-Based Exact Synthesis / Reichl, F.-X., Slivovsky, F., & Szeider, S. (2023). Circuit Minimization with QBF-Based Exact Synthesis. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (pp. 4087–4094). AAAI Press. https://doi.org/10.1609/aaai.v37i4.25524
    Download: PDF (154 KB)
  • Characterizing Tseitin-formulas with short regular resolution refutations / De Colnet, A., & Mengel, S. (2023). Characterizing Tseitin-formulas with short regular resolution refutations. Journal of Artificial Intelligence Research, 76, 265–286. https://doi.org/10.1613/jair.1.13521
    Download: PDF (351 KB)
  • Computing Twin-width with SAT and Branch & Bound / Schidler, A., & Szeider, S. (2023). Computing Twin-width with SAT and Branch & Bound. In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23) (pp. 2013–2021). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2023/224
    Download: PDF (263 KB)
    Projects: DK - Logic (2014–2023) / REVEAL-AI (2020–2024) / SLIM (2019–2024) / STRIDES (2023–2026)
  • On Translations between ML Models for XAI Purposes / de Colnet, A., & Marquis, P. (2023). On Translations between ML Models for XAI Purposes. In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23) (pp. 3158–3166). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2023/352
    Download: PDF (205 KB)
    Project: Overcoming Intractability in the Knowledge Compilation Map (2022–2025)
  • Optimal Seat Arrangement: What Are the Hard and Easy Cases? / Ceylan, E., Chen, J., & Roy, S. (2023). Optimal Seat Arrangement: What Are the Hard and Easy Cases? In E. Elkind (Ed.), Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (pp. 2563–2571). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2023/285
    Download: PDF (209 KB)
    Project: Structural and Algorithmic Aspects of Preference-based Problems in Social Choice (2019–2027)
  • Hard QBFs for merge resolution / Beyersdorff, O., Blinkhorn, J., Mahajan, M., Peitl, T., & Sood, G. (2023). Hard QBFs for merge resolution. ACM Transactions on Computation Theory. https://doi.org/10.1145/3638263
    Project: From QBF to DQBF: Theory together with Practice (2021–2022)
  • Optimizing the positions of battery swapping stations - Pilot studies and layout optimization algorithm - / Rodemann, T., Kataoka, H., Jatschka, T., Raidl, G., Limmer, S., & Meguro, H. (2023). Optimizing the positions of battery swapping stations - Pilot studies and layout optimization algorithm -. In EVTeC 2023: The 6th International Electric Vehicle Technology Conference (pp. 28–28).
  • Optimal Capacity Modification for Many-To-One Matching Problems / Chen, J., & Csáji, G. (2023). Optimal Capacity Modification for Many-To-One Matching Problems. In Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems (pp. 2880–2882).
  • Hedonic Games With Friends, Enemies, and Neutrals: Resolving Open Questions and Fine-Grained Complexity / Chen, J., Csáji, G., Roy, S., & Simola, S. H. E. (2023). Hedonic Games With Friends, Enemies, and Neutrals: Resolving Open Questions and Fine-Grained Complexity. In Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems (pp. 251–259).
  • A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets / Kiesel, R., & Schidler, A. (2023). A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets. In 2023 Proceedings of the Symposium on Algorithm Engineering and Experiments (ALENEX) (pp. 39–52). https://doi.org/10.1137/1.9781611977561.ch4
  • The Parameterized Complexity of Finding Concise Local Explanations / Ordyniak, S., Paesani, G., & Szeider, S. (2023). The Parameterized Complexity of Finding Concise Local Explanations. In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23) (pp. 3312–3320). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2023/369
  • Co-Certificate Learning with SAT Modulo Symmetries / Kirchweger, M., Peitl, T., & Szeider, S. (2023). Co-Certificate Learning with SAT Modulo Symmetries. In E. Elkind (Ed.), Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23) (pp. 1944–1953). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2023/216
  • On Families of Planar DAGs with Constant Stack Number / Nöllenburg, M., & Pupyrev, S. (2023). On Families of Planar DAGs with Constant Stack Number. In M. A. Bekos & M. Chimani (Eds.), Graph Drawing and Network Visualization : 31st International Symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20–22, 2023, Revised Selected Papers, Part II (pp. 135–151). Springer. https://doi.org/10.1007/978-3-031-49272-3_10
  • On Computing Optimal Tree Ensembles / Komusiewicz, C., Kunz, P., Sommer, F., & Sorge, M. (2023). On Computing Optimal Tree Ensembles. In A. Krause, E. Brunskill, K. Cho, B. Engelhardt, S. Sabato, & J. Scarlett (Eds.), Proceedings of the 40th International Conference on Machine Learning (pp. 17364–17374).
  • Computing Hive Plots: A Combinatorial Framework / Nöllenburg, M., & Wallinger, M. (2023). Computing Hive Plots: A Combinatorial Framework. In M. A. Bekos & M. Chimani (Eds.), Graph Drawing and Network Visualization : 31st International Symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20–22, 2023, Revised Selected Papers, Part II (pp. 153–169). Springer. https://doi.org/10.1007/978-3-031-49275-4_11
  • Circuit Minimization with Exact Synthesis: From QBF Back to SAT / Reichl, F. X., Slivovsky, F., & Szeider, S. (2023). Circuit Minimization with Exact Synthesis: From QBF Back to SAT. In IWLS 2023: 32nd International Workshop on Logic & Synthesis (pp. 98–105).
  • An Evolutionary Approach for Scheduling a Fleet of Shared Electric Vehicles / Limmer, S., Varga, J., & Raidl, G. R. (2023). An Evolutionary Approach for Scheduling a Fleet of Shared Electric Vehicles. In J. G. M. Correia, S. Smith, & R. Qaddoura (Eds.), Applications of Evolutionary Computation : 26th European Conference, EvoApplications 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023, Proceedings (pp. 3–18). Springer. https://doi.org/10.1007/978-3-031-30229-9_1
  • Game Implementation: What Are the Obstructions? / Chen, J., Layegh Khavidaki, S. N., Haydn, S. V., Simola, S., & Sorge, M. (2023). Game Implementation: What Are the Obstructions? In Proceedings of the 37th AAAI Conference on Artificial Intelligence (pp. 5557–5564). AAAI Press. https://doi.org/10.34726/5365
    Download: PDF (178 KB)
  • Approaching the Traveling Tournament Problem with Randomized Beam Search / Frohner, N., Neumann, B., Pace, G., & Raidl, G. R. (2023). Approaching the Traveling Tournament Problem with Randomized Beam Search. Evolutionary Computation, 31(3), 233–257. https://doi.org/10.1162/evco_a_00319
  • A logic-based algorithmic meta-theorem for mim-width / Bergougnoux, B., Dreier, J., & Jaffke, L. (2023). A logic-based algorithmic meta-theorem for mim-width. In Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA23) (pp. 3282–3304). Society for Industrial and Applied Mathematics (SIAM). https://doi.org/10.1137/1.9781611977554.ch125
  • Fixed-parameter tractability of DIRECTED MULTICUT with three terminal pairs parameterized by the size of the cutset: twin-width meets flow-augmentation / Hatzel, M., Jaffke, L., LIMA BARBOSA, C. P., Masařík, T., Pilipczuk, M., Sharma, R., & Sorge, M. (2023). Fixed-parameter tractability of DIRECTED MULTICUT with three terminal pairs parameterized by the size of the cutset: twin-width meets flow-augmentation. In Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA23) (pp. 3229–3244). https://doi.org/10.1137/1.9781611977554.ch123
  • Deontic Paradoxes in ASP with Weak Constraints / Ciabattoni, A., Eiter, T., & Hatschka, C. (2023). Deontic Paradoxes in ASP with Weak Constraints. In Proceedings 39th International Conference on Logic Programming (pp. 367–380).
    Project: TAIGER (2023–2027)
  • Block Crossings in One-Sided Tanglegrams / Dobler, A., & Nöllenburg, M. (2023). Block Crossings in One-Sided Tanglegrams. In P. Morin & S. Suri (Eds.), Algorithms and Data Structures : 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 – August 2, 2023, Proceedings (pp. 386–400). Springer. https://doi.org/10.1007/978-3-031-38906-1_25
  • From Data Completion to Problems on Hypercubes: A Parameterized Analysis of the Independent Set Problem / Eiben, E., Ganian, R., Kanj, I., Ordyniak, S., & Szeider, S. (2023). From Data Completion to Problems on Hypercubes: A Parameterized Analysis of the Independent Set Problem. In N. Misra & M. Wahlström (Eds.), 18th International Symposium on Parameterized and Exact Computation (IPEC 2023) (pp. 1–14). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.IPEC.2023.16
  • Consistency Checking Problems: A Gateway to Parameterized Sample Complexity / Ganian, R., Khazaliya, L., & Simonov, K. (2023). Consistency Checking Problems: A Gateway to Parameterized Sample Complexity. In N. Misra & M. Wahlström (Eds.), 18th International Symposium on Parameterized and Exact Computation (IPEC 2023) (pp. 1–17). Schloss-Dagstuhl - Leibniz Zentrum für Informatik.
  • Learning Small Decision Trees with Large Domain / Eiben, E., Ordyniak, S., Paesani, G., & Szeider, S. (2023). Learning Small Decision Trees with Large Domain. In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23) (pp. 3184–3192). https://doi.org/10.24963/ijcai.2023/355
  • Planarizing Graphs and Their Drawings by Vertex Splitting / Nöllenburg, M., Sorge, M., Terziadis, S., Villedieu, A., Wu, H.-Y., & Wulms, J. (2023). Planarizing Graphs and Their Drawings by Vertex Splitting. In P. Angelini & R. von Haxleden (Eds.), Graph Drawing and Network Visualization. GD 2022 (pp. 232–246). Springer. https://doi.org/10.1007/978-3-031-22203-0_17
  • On the Complexity of the Storyplan Problem / Binucci, C., Di Giacomo, E., Lenhart, W. J., Liotta, G., Montecchiani, F., Nöllenburg, M., & Symvonis, A. (2023). On the Complexity of the Storyplan Problem. In P. Angelini & R. von Haxleden (Eds.), Graph Drawing and Network Visualization. GD 2022 (pp. 304–318). Springer. https://doi.org/10.1007/978-3-031-22203-0_22
  • Interactive Job Scheduling with Partially Known Personnel Availabilities / Varga, J., Raidl, G. R., Rönnberg, E., & Rodemann, T. (2023). Interactive Job Scheduling with Partially Known Personnel Availabilities. In B. Dorronsoro, F. Chicano, G. Danoy, & E.-G. Talbi (Eds.), Optimization and Learning: 6th International Conference, OLA 2023, Malaga, Spain, May 3–5, 2023, Proceedings (pp. 236–247). Springer. https://doi.org/10.1007/978-3-031-34020-8_18
  • The Influence of Dimensions on the Complexity of Computing Decision Trees / Kobourov, S. G., Löffler, M., Montecchiani, F., Pilipczuk, M., Rutter, I., Seidel, R., Sorge, M., & Wulms, J. (2023). The Influence of Dimensions on the Complexity of Computing Decision Trees. In B. Williams, Y. Chen, & J. Neville (Eds.), Proceedings of the 37th AAAI Conference on Artificial Intelligence (pp. 8343–8350). AAAI Press. https://doi.org/10.1609/aaai.v37i7.26006
  • Splitting Vertices in 2-Layer Graph Drawings / Ahmed, R., Angelini, P., Bekos, M. A., Battista, G. D., Kaufmann, M., Kindermann, P., Kobourov, S., Nöllenburg, M., Symvonis, A., Villedieu, A., & Wallinger, M. (2023). Splitting Vertices in 2-Layer Graph Drawings. IEEE Computer Graphics and Applications, 43(3), 24–35. https://doi.org/10.1109/MCG.2023.3264244
  • MosaicSets: Embedding Set Systems into Grid Graphs / Rottmann, P., Wallinger, M., Bonerath, A., Gedicke, S., Nöllenburg, M., & Haunert, J.-H. (2023). MosaicSets: Embedding Set Systems into Grid Graphs. IEEE Transactions on Visualization and Computer Graphics, 29(1), 875–885. https://doi.org/10.1109/TVCG.2022.3209485
  • Crossing Minimization in Time Interval Storylines / Dobler, A., Nöllenburg, M., Stojanovic, D., Villedieu, A., & Wulms, J. (2023). Crossing Minimization in Time Interval Storylines. In 39th European Workshop on Computational Geometry : EuroCG2023 : Book of Abstracts (pp. 36–37).
    Download: PDF (1.35 MB)
  • Splitting Plane Graphs to Outerplanarity / Gronemann, M., Nöllenburg, M., & Villedieu, A. (2023). Splitting Plane Graphs to Outerplanarity. In C.-C. Lin, B. M. T. Lin, & G. Liotta (Eds.), WALCOM: Algorithms and Computation : 17th International Conference and Workshops, WALCOM 2023, Hsinchu, Taiwan, March 22–24, 2023, Proceedings (pp. 217–228). Springer. https://doi.org/10.1007/978-3-031-27051-2_19
  • MySemCloud: Semantic-aware Word Cloud Editing / Huber, M., Nöllenburg, M., & Villedieu, A. (2023). MySemCloud: Semantic-aware Word Cloud Editing. In 2023 IEEE 16th Pacific Visualization Symposium (PacificVis) (pp. 147–156). IEEE. https://doi.org/10.1109/PacificVis56936.2023.00024
  • The Parameterized Complexity of Network Microaggregation / Blažej, V., Ganian, R., Knop, D., Pokorný, J., Schierreich, Š., & Simonov, K. (2023). The Parameterized Complexity of Network Microaggregation. In B. Williams, Y. Chen, & J. Neville (Eds.), Proceedings of the 37th AAAI Conference on Artificial Intelligence (pp. 6262–6270). AAAI Press. https://doi.org/10.1609/aaai.v37i5.25771
  • The Parameterized Complexity of Coordinated Motion Planning / Eiben, E., Ganian, R., & Kanj, I. (2023). The Parameterized Complexity of Coordinated Motion Planning. In E. Chambers & J. Gudmundsson (Eds.), 39th International Symposium on Computational Geometry, SoCG 2023 (pp. 1–16). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2023.28
  • The Computational Complexity of Concise Hypersphere Classification / Eiben, E., Ganian, R., Kanj, I., Ordyniak, S., & Szeider, S. (2023). The Computational Complexity of Concise Hypersphere Classification. In A. Krause, E. Brunskill, K. Cho, B. Engelhardt, S. Sabato, & J. Scarlett (Eds.), Proceedings of the 40th International Conference on Machine Learning (pp. 9060–9070).
  • Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF / Fichte, J. K., Ganian, R., Hecher, M., Slivovsky, F., & Ordyniak, S. (2023). Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF. In 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (pp. 1–14). IEEE. https://doi.org/10.1109/LICS56636.2023.10175675
  • Extending Orthogonal Planar Graph Drawings Is Fixed-Parameter Tractable / Bhore, S., Ganian, R., Khazaliya, L., Montecchiani, F., & Nöllenburg, M. (2023). Extending Orthogonal Planar Graph Drawings Is Fixed-Parameter Tractable. In E. Chambers & J. Gudmundsson (Eds.), 39th International Symposium on Computational Geometry (pp. 1–16). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2023.18
  • A Structural Complexity Analysis of Synchronous Dynamical Systems / Eiben, E., Ganian, R., Hamm, T., & Korchemna, V. (2023). A Structural Complexity Analysis of Synchronous Dynamical Systems. In B. Williams, Y. Chen, & J. Neville (Eds.), Proceedings of the 37th AAAI Conference on Artificial Intelligence (pp. 6313–6321). AAAI Press. https://doi.org/10.1609/aaai.v37i5.25777
  • A Polyhedral Perspective on Tropical Convolutions / Brand, C., Koutecký, M., & Lassota, A. (2023). A Polyhedral Perspective on Tropical Convolutions. In S.-Y. Hsieh, L.-J. Hung, & C.-W. Lee (Eds.), Combinatorial Algorithms : 34th International Workshop, IWOCA 2023, Tainan, Taiwan, June 7–10, 2023, Proceedings (pp. 111–122). Springer. https://doi.org/10.1007/978-3-031-34347-6_10
  • A Parameterized Theory of PAC Learning / Brand, C., Ganian, R., & Simonov, K. (2023). A Parameterized Theory of PAC Learning. In B. Williams, Y. Chen, & J. Neville (Eds.), Proceedings of the AAAI Conference on Artificial Intelligence (pp. 6834–6841). AAAI Press. https://doi.org/10.1609/aaai.v37i6.25837

2022

2021

2020

2019

2018

  • An SMT Approach to Fractional Hypertree Width / Fichte, J., Hecher, M., Lodha, N., & Szeider, S. (2018). An SMT Approach to Fractional Hypertree Width. In J. Hooker (Ed.), Principles and Practice of Constraint Programming, 24th International Conference, CP 2018 (pp. 109–127). Springer-Verlag. https://doi.org/10.1007/978-3-319-98334-9_8
    Project: START (2014–2022)
  • Planar and poly-arc Lombardi drawings / Duncan, C. A., Eppstein, D., Goodrich, M. T., Kobourov, S. G., Löffler, M., & Nöllenburg, M. (2018). Planar and poly-arc Lombardi drawings. Journal of Computational Geometry (JOCG), 9(1), 328–355. https://doi.org/10.20382/jocg.v9i1a11
  • Planar L-Drawings of Directed Graphs / Chaplick, S., Chimani, M., Cornelsen, S., Da Lozzo, G., Nöllenburg, M., Patrignani, M., Tollis, I. G., & Wolff, A. (2018). Planar L-Drawings of Directed Graphs. In F. Frati & K.-L. Ma (Eds.), Graph Drawing and Network Visualization. GD 2018 (pp. 465–478). Springer. https://doi.org/10.1007/978-3-319-73915-1_36
  • Graph Visualization / Hu, Y., & Nöllenburg, M. (2018). Graph Visualization. In S. Sakr & A. Y. Zomaya (Eds.), Encyclopedia of Big Data Technologies (pp. 1–9). Springer International Publishing. https://doi.org/10.1007/978-3-319-63962-8_324-1
  • Minimizing Wiggles in Storyline Visualizations / Fröschl, T., & Nöllenburg, M. (2018). Minimizing Wiggles in Storyline Visualizations. In F. Frati & K.-L. Ma (Eds.), Graph Drawing and Network Visualization. GD 2017 (pp. 585–587). Springer. http://hdl.handle.net/20.500.12708/57516
  • Towards Characterizing Strict Outerconfluent Graphs / Klute, F., & Nöllenburg, M. (2018). Towards Characterizing Strict Outerconfluent Graphs. In F. Frati & K.-L. Ma (Eds.), Graph Drawing and Network Visualization. GD 2017 (pp. 612–614). Springer. http://hdl.handle.net/20.500.12708/57517
  • Short Plane Supports for Spatial Hypergraphs / Castermans, T., van Garderen, M., Meulemans, W., Nöllenburg, M., & Yuan, X. (2018). Short Plane Supports for Spatial Hypergraphs. In T. Biedl & A. Kerren (Eds.), Graph Drawing and Network Visualization. GD 2018 (pp. 53–66). Springer. https://doi.org/10.1007/978-3-030-04414-5_4
  • Planar Drawings of Fixed-Mobile Bigraphs / Bekos, M. A., De Luca, F., Didimo, W., Mchedlidze, T., Nöllenburg, M., Symvonis, A., & Tollis, I. G. (2018). Planar Drawings of Fixed-Mobile Bigraphs. In F. Frati & K.-L. Ma (Eds.), Graph Drawing and Network Visualization. GD 2018 (pp. 426–439). Springer. https://doi.org/10.1007/978-3-319-73915-1_33
  • Lombardi Drawings of Knots and Links / Kindermann, P., Kobourov, S., Löffler, M., Nöllenburg, M., Schulz, A., & Vogtenhuber, B. (2018). Lombardi Drawings of Knots and Links. In F. Frati & K.-L. Ma (Eds.), Graph Drawing and Network Visualization. GD 2018 (pp. 113–126). Springer. https://doi.org/10.1007/978-3-319-73915-1_10
  • Experimental Evaluation of Book Drawing Algorithms / Klawitter, J., Mchedlidze, T., & Nöllenburg, M. (2018). Experimental Evaluation of Book Drawing Algorithms. In F. Frati & K.-L. Ma (Eds.), Graph Drawing and Network Visualization. GD 2018 (pp. 224–238). Springer. https://doi.org/10.1007/978-3-319-73915-1_19
  • Orthogonal and Smooth Orthogonal Layouts of 1-Planar Graphs with Low Edge Complexity / Argyriou, E., Cornelsen, S., Förster, H., Kaufmann, M., Nöllenburg, M., Okamoto, Y., Raftopoulou, C., & Wolff, A. (2018). Orthogonal and Smooth Orthogonal Layouts of 1-Planar Graphs with Low Edge Complexity. In T. Biedl & A. Kerren (Eds.), Graph Drawing and Network Visualization. GD 2018 (pp. 509–523). Springer. https://doi.org/10.1007/978-3-030-04414-5_36
  • A Structural Approach to Activity Selection / Eiben, E., Ganian, R., & Ordyniak, S. (2018). A Structural Approach to Activity Selection. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (pp. 203–209). International Joint Conferences on Artificial Intelligence. http://hdl.handle.net/20.500.12708/57663
  • Small Resolution Proofs for QBF using Dependency Treewidth / Eiben, E., Ganian, R., & Ordyniak, S. (2018). Small Resolution Proofs for QBF using Dependency Treewidth. In Proceedings of the 35th Symposium on Theoretical Aspects of Computer Science, STACS 2018, February 28 to March 3, 2018, Caen, France (pp. 1–14). 35th Symposium on Theoretical Aspects of Computer Science. http://hdl.handle.net/20.500.12708/57665
  • On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem / Ganian, R., Klute, F., & Ordyniak, S. (2018). On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem. In Proceedings of the 35th Symposium on Theoretical Aspects of Computer Science (pp. 1–14). 35th Symposium on Theoretical Aspects of Computer Science. http://hdl.handle.net/20.500.12708/57666
  • Minimizing Crossings in Constrained Two-Sided Circular Graph Layouts / Klute, F., & Nöllenburg, M. (2018). Minimizing Crossings in Constrained Two-Sided Circular Graph Layouts. In B. Speckmann & C. D. Tóth (Eds.), 34th International Symposium on Computational Geometry (pp. 53:1-53:14). LIPICS, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH. https://doi.org/10.4230/LIPIcs.SoCG.2018.53
  • Particle Therapy Patient Scheduling with Limited Starting Time Variations of Daily Treatments / Maschler, J., & Raidl, G. (2018). Particle Therapy Patient Scheduling with Limited Starting Time Variations of Daily Treatments. International Transactions in Operational Research, 27(1), 458–479. https://doi.org/10.1111/itor.12579
  • Solving a selective dial-a-ride problem with logic-based Benders decomposition / Riedler, M., & Raidl, G. (2018). Solving a selective dial-a-ride problem with logic-based Benders decomposition. Computers and Operations Research, 96, 30–54. https://doi.org/10.1016/j.cor.2018.03.008
  • Drawing Large Graphs by Multilevel Maxent-Stress Optimization / Meyerhenke, H., Nöllenburg, M., & Schulz, C. (2018). Drawing Large Graphs by Multilevel Maxent-Stress Optimization. IEEE Transactions on Visualization and Computer Graphics, 24(5), 1814–1827. https://doi.org/10.1109/tvcg.2017.2689016
  • Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF / Beyersdorff, O., Blinkhorn, J., Chew, L., Schmidt, R., & Suda, M. (2018). Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF. Journal of Automated Reasoning, 63(3), 597–623. https://doi.org/10.1007/s10817-018-9482-4
  • On the Complexity of Rainbow Coloring Problems / Eiben, E., Ganian, R., & Lauri, J. (2018). On the Complexity of Rainbow Coloring Problems. Discrete Applied Mathematics, 246, 38–48. https://doi.org/10.1016/j.dam.2016.10.021
  • A single-exponential fixed-parameter algorithm for distance-hereditary vertex deletion / Eiben, E., Ganian, R., & Kwon, O. (2018). A single-exponential fixed-parameter algorithm for distance-hereditary vertex deletion. Journal of Computer and System Sciences, 97, 121–146. https://doi.org/10.1016/j.jcss.2018.05.005
  • The Complexity Landscape of Decompositional Parameters for ILP / Ganian, R., & Ordyniak, S. (2018). The Complexity Landscape of Decompositional Parameters for ILP. Artificial Intelligence, 257, 61–71. https://doi.org/10.1016/j.artint.2017.12.006
  • Snarks with Special Spanning Trees / Hoffmann-Ostenhof, A., & Jatschka, T. (2018). Snarks with Special Spanning Trees. Graphs and Combinatorics, 35(1), 207–219. https://doi.org/10.1007/s00373-018-1973-x
  • Meta-kernelization using well-structured modulators / Eiben, E., Ganian, R., & Szeider, S. (2018). Meta-kernelization using well-structured modulators. Discrete Applied Mathematics, 248, 153–167. https://doi.org/10.1016/j.dam.2017.09.018
  • Polynomial-Time Validation of QCDCL Certificates / Peitl, T., Slivovsky, F., & Szeider, S. (2018). Polynomial-Time Validation of QCDCL Certificates. In O. Beyersdorff & C. M. Wintersteiger (Eds.), Theory and Applications of Satisfiability Testing – SAT 2018 (pp. 253–269). Springer-Verlag, Lecture Notes in Artificial Intelligence 8268. https://doi.org/10.1007/978-3-319-94144-8_16
  • Maximizing Ink in Symmetric Partial Edge Drawings of k-plane Graphs / Höller, M., Klute, F., Nickel, S., Nöllenburg, M., & Schreiber, B. (2018). Maximizing Ink in Symmetric Partial Edge Drawings of k-plane Graphs. European Workshop on Computational Geometry (EuroCG’18), Berlin, EU. http://hdl.handle.net/20.500.12708/86882
  • Scalable Set Visualizations (Dagstuhl Seminar 17332) / Hu, Y., Micallef, L., Nöllenburg, M., & Rodgers, P. (Eds.). (2018). Scalable Set Visualizations (Dagstuhl Seminar 17332). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. https://doi.org/10.4230/DagRep.7.8.1
  • Unary Integer Linear Programming with Structural Restrictions / Eiben, E., Ganian, R., & Knop, D. (2018). Unary Integer Linear Programming with Structural Restrictions. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (pp. 1284–1290). International Joint Conferences on Artificial Intelligence. http://hdl.handle.net/20.500.12708/57664
  • Multivalued Decision Diagrams for a Prize-Collecting Sequencing Problem / Maschler, J., & Raidl, G. (2018). Multivalued Decision Diagrams for a Prize-Collecting Sequencing Problem. In PATAT 2018: Proceedings of the 12th International Conference of the Practice and Theory of Automated Timetabling} (pp. 375–397). http://hdl.handle.net/20.500.12708/57564
  • Particle Therapy Patient Scheduling: Time Estimation for Scheduling Sets of Treatments / Maschler, J., Riedler, M., & Raidl, G. R. (2018). Particle Therapy Patient Scheduling: Time Estimation for Scheduling Sets of Treatments. In Computer Aided Systems Theory – EUROCAST 2017 (pp. 364–372). Springer. https://doi.org/10.1007/978-3-319-74718-7_44
  • Solving a Weighted Set Covering Problem for Improving Algorithms for Cutting Stock Problems with Setup Costs by Solution Merging / Klocker, B., & Raidl, G. (2018). Solving a Weighted Set Covering Problem for Improving Algorithms for Cutting Stock Problems with Setup Costs by Solution Merging. In Computer Aided Systems Theory -- EUROCAST 201 (pp. 355–363). Springer LNCS. http://hdl.handle.net/20.500.12708/57551
  • An A* Algorithm for Solving a Prize-Collecting Sequencing Problem with One Common and Multiple Secondary Resources and Time Windows / Horn, M., Raidl, G., & Rönnberg, E. (2018). An A* Algorithm for Solving a Prize-Collecting Sequencing Problem with One Common and Multiple Secondary Resources and Time Windows. In Annals of Operations Research (pp. 235–256). Springer. http://hdl.handle.net/20.500.12708/57525
  • GRASP-VNS for a Periodic VRP with Time Windows to Deal with Milk Collection / Expósito, A., Raidl, G., Brito, J., & Moreno-Perez, J. (2018). GRASP-VNS for a Periodic VRP with Time Windows to Deal with Milk Collection. In Computer Aided Systems Theory (pp. 299–306). Springer LNCS. http://hdl.handle.net/20.500.12708/57521
  • Portfolio-Based Algorithm Selection for Circuit QBFs / Hoos, H. H., Peitl, T., Slivovsky, F., & Szeider, S. (2018). Portfolio-Based Algorithm Selection for Circuit QBFs. In Lecture Notes in Computer Science (pp. 195–209). Springer-Verlag. https://doi.org/10.1007/978-3-319-98334-9_13
  • Parameterized Algorithms for the Matrix Completion Problem / Ganian, R., Kanj, I., Ordyniak, S., & Szeider, S. (2018). Parameterized Algorithms for the Matrix Completion Problem. In Proceeding of ICML (pp. 1642–1651). Journal of Machine Learning Research. http://hdl.handle.net/20.500.12708/57440
  • The Travel of a Metabolite / Wu, H.-Y., Nöllenburg, M., & Viola, I. (2018). The Travel of a Metabolite. In Proceedings of PacificVis 2018 Data Story Telling Contest. IEEE Pacific Visualization Symposium (PacificVis), Yokohama, Non-EU. http://hdl.handle.net/20.500.12708/57386
  • A Visual Comparison of Hand-Drawn and Machine-Generated Human Metabolic Pathways / Wu, H.-Y., Viola, I., & Nöllenburg, M. (2018). A Visual Comparison of Hand-Drawn and Machine-Generated Human Metabolic Pathways. In Proceedings of EuroVis 2018. Eurographics Conference on Visualization (EuroVis 2018), Brno, Czech Republic, EU. Eurographics / VGTC. http://hdl.handle.net/20.500.12708/57354

2017

2016

  • Supereulerian graphs with width s and s-collapsible graphs / Li, P., Li, H., Chen, Y., Fleischner, H., & Lai, H.-J. (2016). Supereulerian graphs with width s and s-collapsible graphs. Discrete Applied Mathematics, 200, 79–94. https://doi.org/10.1016/j.dam.2015.07.013
  • Clique-Width and Directed Width Measures for Answer-Set Programming / Bliem, B., Ordyniak, S., & Woltran, S. (2016). Clique-Width and Directed Width Measures for Answer-Set Programming. In G. A. Kaminka, M. Fox, P. Bouquet, E. Hüllermeier, V. Dignum, F. Dignum, & F. van Harmelen (Eds.), ECAI 2016 - 22nd European Conference on Artificial Intelligence (pp. 1105–1113). IOS Press. http://hdl.handle.net/20.500.12708/56679
    Project: START (2014–2022)
  • Graph Drawing and Network Visualization / Hu, Y., & Nöllenburg, M. (Eds.). (2016). Graph Drawing and Network Visualization (Vol. 9801). Springer. https://doi.org/10.1007/978-3-319-50106-2
  • Robust Genealogy Drawings / Klute, F. (2016). Robust Genealogy Drawings. In Y. Hu & M. Nöllenburg (Eds.), Graph Drawing and Network Visualization. GD 2016 (pp. 637–639). Springer. http://hdl.handle.net/20.500.12708/55449
  • Stable Matching with Uncertain Linear Preferences / Aziz, H., Biro, P., Gaspers, S., de Haan, R., Mattei, N., & Rastegari, B. (2016). Stable Matching with Uncertain Linear Preferences. In Proceedings of the 9th International Symposium on Algorithmic Game Theory - SAGT 2016 (pp. 195–206). http://hdl.handle.net/20.500.12708/56827
  • Backdoors to q-Horn / Gaspers, S., Ordyniak, S., Ramanujan, M. S., Saurabh, S., & Szeider, S. (2016). Backdoors to q-Horn. Algorithmica, 74(1), 540–557. https://doi.org/10.1007/s00453-014-9958-5
  • New developments in metaheuristics and their applications / Lau, H. C., Raidl, G., & Van Hentenryck, P. (2016). New developments in metaheuristics and their applications. Journal of Heuristics, 22(4), 359–363. http://hdl.handle.net/20.500.12708/149930
  • Large Neighborhood Search for the Most Strings with Few Bad Columns Problem / Lizárraga, E., Blesa, M. J., Blum, C., & Raidl, G. R. (2016). Large Neighborhood Search for the Most Strings with Few Bad Columns Problem. Journal of Heuristics, 21(17), 4901–4915. https://doi.org/10.1007/s00500-016-2379-4
  • Tree-depth and vertex-minors / Hlinený, P., Kwon, O.-J., Obdrzalek, J., & Ordyniak, S. (2016). Tree-depth and vertex-minors. European Journal of Combinatorics, 56, 46–56. http://hdl.handle.net/20.500.12708/149904
  • Complexity and monotonicity results for domination games / Kreutzer, S., & Ordyniak, S. (2016). Complexity and monotonicity results for domination games. Theoretical Computer Science, 628, 1–29. https://doi.org/10.1016/j.tcs.2016.03.003
  • Directed elimination games / Engelmann, V., Ordyniak, S., & Kreutzer, S. (2016). Directed elimination games. Discrete Applied Mathematics, 199, 187–198. https://doi.org/10.1016/j.dam.2014.08.030
  • A Parameterized Study of Maximum Generalized Pattern Matching Problems / Ordyniak, S., & Popa, A. (2016). A Parameterized Study of Maximum Generalized Pattern Matching Problems. Algorithmica, 75(1), 1–26. https://doi.org/10.1007/s00453-015-0008-8
  • Extending Convex Partial Drawings of Graphs / Mchedlidze, T., Nöllenburg, M., & Rutter, I. (2016). Extending Convex Partial Drawings of Graphs. Algorithmica, 76(1), 47–67. https://doi.org/10.1007/s00453-015-0018-6
  • Consistent Labeling Of Rotating Maps / Gemsa, A., Nöllenburg, M., & Rutter, I. (2016). Consistent Labeling Of Rotating Maps. Journal of Computational Geometry, 7(1), 308–331. https://doi.org/10.20382/jocg.v7i1a15
  • Meta-kernelization with structural parameters / Ganian, R., Slivovsky, F., & Szeider, S. (2016). Meta-kernelization with structural parameters. Journal of Computer and System Sciences, 82(2), 333–346. https://doi.org/10.1016/j.jcss.2015.08.003
  • Soundness of Q-resolution with dependency schemes / Slivovsky, F., & Szeider, S. (2016). Soundness of Q-resolution with dependency schemes. Theoretical Computer Science, 612, 83–101. https://doi.org/10.1016/j.tcs.2015.10.020
  • Quantified conjunctive queries on partially ordered sets / Bova, S., Ganian, R., & Szeider, S. (2016). Quantified conjunctive queries on partially ordered sets. Theoretical Computer Science, 618, 72–84. https://doi.org/10.1016/j.tcs.2016.01.010
  • On Self-Approaching And Increasing-Chord Drawings Of 3-Connected Planar Graphs / Nöllenburg, M., Prutkin, R., & Rutter, I. (2016). On Self-Approaching And Increasing-Chord Drawings Of 3-Connected Planar Graphs. Journal of Computational Geometry, 7(1), 47–69. http://hdl.handle.net/20.500.12708/148588
  • Adjacency-Preserving Spatial Treemaps / Buchin, K., Eppstein, D., Löffler, M., Nöllenburg, M., & Silveira, R. I. (2016). Adjacency-Preserving Spatial Treemaps. Journal of Computational Geometry, 7(1), 100–122. https://doi.org/10.20382/jocg.v7i1a6
  • Strict Confluent Drawing / Eppstein, D., Holten, D., Löffler, M., Nöllenburg, M., Speckmann, B., & Verbeek, K. (2016). Strict Confluent Drawing. Journal of Computational Geometry, 7(1), 22–46. http://hdl.handle.net/20.500.12708/148586
  • Models and algorithms for competitive facility location problems with different customer behavior. / Biesinger, B., Hu, B., & Raidl, G. (2016). Models and algorithms for competitive facility location problems with different customer behavior. Annals of Mathematics and Artificial Intelligence, 76(1–2), 93–119. https://doi.org/10.1007/s10472-014-9448-0
    Project: Solution Archives in Evolutionary Combinatorial Optimization (2012–2016)
  • Finding Uniquely Hamiltonian Graphs of Minimum Degree Three with Small Crossing Numbers / Klocker, B., Fleischner, H., & Raidl, G. (2016). Finding Uniquely Hamiltonian Graphs of Minimum Degree Three with Small Crossing Numbers. In M. J. Blesa, C. Blum, A. Cangelosi, V. Cutello, A. Di Nuovo, M. Pavone, & E.-G. Talbi (Eds.), Hybrid Metaheuristics - 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings (pp. 1–16). LNCS. https://doi.org/10.1007/978-3-319-39636-1_1
  • Evaluation of Labeling Strategies for Rotating Maps / Gemsa, A., Nöllenburg, M., & Rutter, I. (2016). Evaluation of Labeling Strategies for Rotating Maps. ACM Journal on Experimental Algorithmics, 21, 1–21. https://doi.org/10.1145/2851493
  • Mixed map labeling / Löffler, M., Nöllenburg, M., & Staals, F. (2016). Mixed map labeling. Journal of Spatial Information Science, 13. https://doi.org/10.5311/josis.2016.13.264
  • Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting / Ganian, R., Ramanujan, M. S., & Szeider, S. (2016). Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting. In R. Krauthgamer (Ed.), Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 1670–1681). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611974331.ch114
  • Proceedings of EmoVis 2016, ACM IUI 2016 Workshop on Emotion and Visualization, Sonoma, CA, USA, March 10, 2016 / Kerren, A., Cernea, D., & Pohl, M. (Eds.). (2016). Proceedings of EmoVis 2016, ACM IUI 2016 Workshop on Emotion and Visualization, Sonoma, CA, USA, March 10, 2016 (Vol. 103). Linköping Electronic Conference Proceedings. https://doi.org/10.3384/ecp103
  • Particle Therapy Patient Scheduling: First Heuristic Approaches / Maschler, J., Riedler, M., Stock, M., & Raidl, G. (2016). Particle Therapy Patient Scheduling: First Heuristic Approaches. European Conference on Operational Research, Vilnius, Litauen, EU. http://hdl.handle.net/20.500.12708/86452
  • Integrating Algebraic Dynamic Programming in Combinatorial Optimization / Bacher, C., & Raidl, G. (2016). Integrating Algebraic Dynamic Programming in Combinatorial Optimization. Austrian Workshop on Metaheuristics, Graz, Austria. http://hdl.handle.net/20.500.12708/86419
  • Cyclic Giant Tour Decoding for the EVRPTW / Bacher, C., & Raidl, G. (2016). Cyclic Giant Tour Decoding for the EVRPTW. European Conference on Operational Research, Vilnius, Litauen, EU. http://hdl.handle.net/20.500.12708/86418
  • Algorithms for Vehicle Routing / Raidl, G. (2016). Algorithms for Vehicle Routing. Workshop on Advances and Improvements in Service Delivery to Regional Development: Cases of Transportation and Health, La Laguna, Spain, EU. http://hdl.handle.net/20.500.12708/86459
  • Heuristic Approaches for Finding Uniquely Hamiltonian Graphs of Minimum Degree Three with Small Crossing Numbers / Klocker, B., & Raidl, G. (2016). Heuristic Approaches for Finding Uniquely Hamiltonian Graphs of Minimum Degree Three with Small Crossing Numbers. Austrian Workshop on Metaheuristics, Graz, Austria. http://hdl.handle.net/20.500.12708/86436
  • Capturing Structure in SAT and Related Problems / Szeider, S. (2016). Capturing Structure in SAT and Related Problems. Theoretical Foundations of SAT Solving Workshop, Toronto, Kanada, Non-EU. http://hdl.handle.net/20.500.12708/86384
  • Capturing Structure in SAT and Related Problems / Szeider, S. (2016). Capturing Structure in SAT and Related Problems. International Workshop on Graph Structure and Satisfiability Testing, Bordeaux, France, EU. http://hdl.handle.net/20.500.12708/86383
  • Hybrid Metaheuristics / Blum, C., & Raidl, G. (2016). Hybrid Metaheuristics. Springer. https://doi.org/10.1007/978-3-319-30883-8
  • Temporal map labeling / Barth, L., Niedermann, B., Nöllenburg, M., & Strash, D. (2016). Temporal map labeling. In Proceedings of the 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Acm Dl, Austria. ACM. https://doi.org/10.1145/2996913.2996957
  • Polynomial-Time Construction of Optimal MPI Derived Datatype Trees / Ganian, R., Kalany, M., Szeider, S., & Träff, J. L. (2016). Polynomial-Time Construction of Optimal MPI Derived Datatype Trees. In 2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS). IEEE 30th International Parallel and Distributed Processing Symposium (IPDPS 2016), Chicago, Illinois, USA, Non-EU. IEEE Computer Society. https://doi.org/10.1109/ipdps.2016.13
    Project: EPiGRAM (2013–2016)
  • Time-Bucket Relaxation Based Mixed Integer Programming Models for Scheduling Problems: A Promising Starting Point for Matheuristics / Raidl, G., Jatschka, T., Riedler, M., & Maschler, J. (2016). Time-Bucket Relaxation Based Mixed Integer Programming Models for Scheduling Problems: A Promising Starting Point for Matheuristics. In Proceedings of the Sixth International Workshop on Model-based Metaheuristics (pp. 104–107). http://hdl.handle.net/20.500.12708/56887
  • SOBRA - Shielding Optimization for BRAchytherapy / Blin, G., Gasparoux, M., Ordyniak, S., & Popa, A. (2016). SOBRA - Shielding Optimization for BRAchytherapy. In Combinatorial Algorithms - 27th International Workshop (pp. 309–320). http://hdl.handle.net/20.500.12708/56880
  • Edge-Editing to a Dense and a Sparse Graph Class / Kotrbcık, M., Kralovic, R., & Ordyniak, S. (2016). Edge-Editing to a Dense and a Sparse Graph Class. In Proceedings of LATIN 2016: Theoretical Informatics - 12th Latin American Symposium (pp. 562–575). http://hdl.handle.net/20.500.12708/56878
  • Software Visualization via Hierarchic Micro/Macro Layouts / Nöllenburg, M., Rutter, I., & Schuhmacher, A. (2016). Software Visualization via Hierarchic Micro/Macro Layouts. In Information Visualization Theory and Applications Conf IVAPP 2016 (pp. 153–160). http://hdl.handle.net/20.500.12708/56855
  • Particle Therapy Patient Scheduling: First Heuristic Approaches / Maschler, J., Riedler, M., Stock, M., & Raidl, G. (2016). Particle Therapy Patient Scheduling: First Heuristic Approaches. In PATAT 2016: Proceedings of the 11th International Conference of the Practice and Theory of Automated Timetabling (pp. 223–244). http://hdl.handle.net/20.500.12708/56854
  • A Logic-based Benders Decomposition Approach for the 3-Staged Strip Packing Problem / Maschler, J., & Raidl, G. (2016). A Logic-based Benders Decomposition Approach for the 3-Staged Strip Packing Problem. In Operations Research Proceedings 2015 Selected Papers of the International Conference of the German, Austrian and Swiss Operations Research Societies (pp. 85–102). http://hdl.handle.net/20.500.12708/56847
  • A Multi-Commodity FLow Based Model for Multi Layer Hierarchical Ring Network Design / Schauer, C., & Raidl, G. (2016). A Multi-Commodity FLow Based Model for Multi Layer Hierarchical Ring Network Design. In Proceedings of INOC 2015 - 7th International Network Optimization Conference (pp. 189–196). http://hdl.handle.net/20.500.12708/56834
  • Parameterized Complexity Results for the Kemeny Rule in Judgment Aggregation / de Haan, R. (2016). Parameterized Complexity Results for the Kemeny Rule in Judgment Aggregation. In Proceedings of the 22nd European Conference on Artificial Intelligence - ECAI 2016 (pp. 1502–1510). IOS Press. http://hdl.handle.net/20.500.12708/56830
  • Parameterized Complexity Results for the Kemeny Rule in Judgment Aggregation / de Haan, R. (2016). Parameterized Complexity Results for the Kemeny Rule in Judgment Aggregation. In Proceedings of the Sixth International Workshop on Computational Social Choice - COMSOC 2016 (p. 19). http://hdl.handle.net/20.500.12708/56829
  • Parameterized Complexity Results for Symbolic Model Checking of Temporal Logics / de Haan, R., & Szeider, S. (2016). Parameterized Complexity Results for Symbolic Model Checking of Temporal Logics. In Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning - KR 2016 (pp. 453–462). http://hdl.handle.net/20.500.12708/56825
  • Succinctness of Languages for Judgment Aggregation / Endriss, U., Grandi, U., de Haan, R., & Lang, J. (2016). Succinctness of Languages for Judgment Aggregation. In Proceedings of the 2016 International Conference on Principles of Knowledge Representation and Reasoning - KR 2016 (pp. 176–186). AAAI Press. http://hdl.handle.net/20.500.12708/56820
  • Knowledge Compilation Meets Communication Complexity / Bova, S. M., Capelli, F., Mengel, S., & Slivovsky, F. (2016). Knowledge Compilation Meets Communication Complexity. In Proceedings of the 25th International Joint Conference on Artificial Intelligence - IJCAI 2016 (pp. 1008–1014). http://hdl.handle.net/20.500.12708/56819
  • A Parameterized Algorithm for Mixed-Cut / Rai, A., Ramanujan, M. S., & Saurabh, S. (2016). A Parameterized Algorithm for Mixed-Cut. In Proceedings of LATIN 2016: Theoretical Informatics - 12th Latin American Symposium (pp. 672–685). http://hdl.handle.net/20.500.12708/56818
  • A New Perspective on FO Model Checking of Dense Graph Classes / Gajarsky, J., Hlinený, P., Obdrzalek, J., Lokshtanov, D., & Ramanujan, M. S. (2016). A New Perspective on FO Model Checking of Dense Graph Classes. In Proceedings of the 31st Annual Symposium on Logic in Computer Science (pp. 176–184). http://hdl.handle.net/20.500.12708/56803
  • A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion / Eiben, E., Ganian, R., & Kwon, O.-J. (2016). A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion. In Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science (pp. 1–14). http://hdl.handle.net/20.500.12708/56801
  • A Faster Parameterized Algorithm for Group Feedback Edge Set / Ramanujan, M. S. (2016). A Faster Parameterized Algorithm for Group Feedback Edge Set. In Graph-Theoretic Concepts in Computer Science (pp. 269–281). http://hdl.handle.net/20.500.12708/56802
  • Counting Linear Extensions Parameterizations by Treewidth / Eiben, E., Ganian, R., Kangas, K., & Ordyniak, S. (2016). Counting Linear Extensions Parameterizations by Treewidth. In Proceedings of the 24th Annual European Symposium on Algorithms (pp. 1–18). http://hdl.handle.net/20.500.12708/56800
  • An Algorithmic Framework for Labeling Road Maps / Niedermann, B., & Nöllenburg, M. (2016). An Algorithmic Framework for Labeling Road Maps. In Geographic Information Science 9th International Conference (pp. 308–322). http://hdl.handle.net/20.500.12708/56797
  • Lifting QBF Resolution Calculi to DQBF / Beyersdorff, O., Chew, L., Schmidt, R. A., & Suda, M. (2016). Lifting QBF Resolution Calculi to DQBF. In Theory and Applications of Satisfiability Testing – SAT 2016 (pp. 490–499). Springer. https://doi.org/10.1007/978-3-319-40970-2_30
  • On the Complexity Landscape of Connected f-Factor Problems* / Ganian, R., Narayanaswamy, N. S., Ordyniak, S., Rahul, C. S., & Ramanujan, M. S. (2016). On the Complexity Landscape of Connected f-Factor Problems*. In Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science (pp. 1–14). http://hdl.handle.net/20.500.12708/56689
  • SDDs Are Exponentially More Succinct than OBDDs / Bova, S. M. (2016). SDDs Are Exponentially More Succinct than OBDDs. In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (pp. 929–935). http://hdl.handle.net/20.500.12708/56688
  • Using Decomposition-Parameters for QBF: Mind the Prefix! / Eiben, E., Ganian, R., & Ordyniak, S. (2016). Using Decomposition-Parameters for QBF: Mind the Prefix! In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (pp. 964–970). http://hdl.handle.net/20.500.12708/56686
  • The Complexity Landscape of Decompositional Parameters for ILP / Ganian, R., & Ordyniak, S. (2016). The Complexity Landscape of Decompositional Parameters for ILP. In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (pp. 710–716). http://hdl.handle.net/20.500.12708/56685
  • A SAT Approach to Branchwidth / Lodha, N., Ordyniak, S., & Szeider, S. (2016). A SAT Approach to Branchwidth. In Proceedings of SAT 2016: Theory and Applications of Satisfiability Testing - SAT 2016 (pp. 179–195). http://hdl.handle.net/20.500.12708/56670
  • On Existential MSO and its Relation to ETH / Ganian, R., de Haan, R., Kanj, I., & Szeider, S. (2016). On Existential MSO and its Relation to ETH. In Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science (pp. 1–14). http://hdl.handle.net/20.500.12708/56669
  • Backdoors to Tractable Valued CSP / Ganian, R., Ramanujan, M. S., & Szeider, S. (2016). Backdoors to Tractable Valued CSP. In Principles and Practice of Constraint Programming (Proceedings of 22nd CP) (pp. 233–250). LNCS. http://hdl.handle.net/20.500.12708/56665
  • Districting and Routing for Security Control / Prischink, M., Kloimüllner, C., Biesinger, B., & Raidl, G. R. (2016). Districting and Routing for Security Control. In Hybrid Metaheuristics (pp. 87–103). LNCS. https://doi.org/10.1007/978-3-319-39636-1_7
  • An Integer L-shaped Method for the Generalized Vehicle Routing Problem with Stochastic Demands / Biesinger, B., Hu, B., & Raidl, G. (2016). An Integer L-shaped Method for the Generalized Vehicle Routing Problem with Stochastic Demands. In Electronic Notes in Discrete Mathematics (pp. 245–252). Electronic Notes in Discrete Mathematics. https://doi.org/10.1016/j.endm.2016.03.033
  • Backdoor Trees for Answer Set Programming / Fichte, J., & Szeider, S. (2016). Backdoor Trees for Answer Set Programming (DBAI-TR-2016-98). http://hdl.handle.net/20.500.12708/39079
    Project: START (2014–2022)

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

 

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

 

  • Stefan Szeider: The Parameterized Complexity of Reasoning Problems
    2010 / ERC Europäischer Forschungsrat
  • Günther Raidl: Marie-Curie Research Training Network: Algorithmic Descrete Optimization Network (ADONET) - Austrian Coordinator
    2004 / EC Europäische Komission - Marie Curie / Website / Project
  • Dragoslav Ljubic, Austria / Lehrveranstaltung zu den Themen: Affine Koordinaten, affine Hülle Kombinatorische Dualität, Polarität Konvexe Hülle Delaunay-Triangulierung Voronoi-Diagramme Triangulierung von Polygonen Punktlokalisierung etc.
  • Luca Di Gaspero, Italy / Modeling and Solving Constrained Optimization Problems - Constraint Programming basics: fundamental concepts, types of domains (finite domains, intervals, sets), constraints, search, branch and bound - CP modeling techniques: global constraints, redundant constraints, symmetry elimination, special-purpose constraints (e.g., scheduling), modeling of optimization problems, problem reduction - CP languages/libraries: GECODE, COMET, ... - Modeling examples: n-Queens, Cryptoarithmetic, Sudoku, Scheduling, Timetabling, ... - Basic solution methods: propagation, consistency, search - Advanced solution methods: heuristic methods, hybrid approaches, integration with heuristic/metaheuristic techniques - Statistical analysis of optimization algorithms - Lab practice
  • Alina Fernandez Arias, Cuba
  • Luca DiGaspero, Italy / Modeling and Solving Constrained Optimization Problems
  • Marek Linder, Slovakia
  • Luca Di Gaspero, Italy / Lehrveranstaltung "Modeling and Solving Constrained Optimization Problems"
  • Ashwin Arulselvan, Germany
  • Olaf Maurer, Germany
  • Luca Di Gaspero, Italy / Lehrveranstaltung "Modeling and Solving Constrained Optimization Problems"
  • Eduardo Alvarez-Miranda, Italy
  • Ashwin Arulselvan, Germany
  • Olaf Maurer, Germany
  • Andreas Bley, Germany
  • Werner Axel, Germany
  • María Belén Melián Batista, Spain / Gastvortrag bei der 3. Sitzung des Arbeitskreises Metaheuristics (AWM 3'05), "Metaheuristics in Machine Learning", Gastvortrag in der LVA "186.137 AK der Algorithmik 5 VU 2.0"

Soon, this page will include additional information such as reference projects, conferences, events, and other research activities.

Until then, please visit Algorithms and Complexity’s research profile in TISS .