Publists

⬅️ Zurück zum Profil

2026

• The Peculiarities of Extending Queue Layouts Depian, Thomas, Fink, Simon D., Ganian, Robert, Nöllenburg, Martin. Graph-Theoretic Concepts in Computer Science (WG'25)
  📄 Details

2025

• Pathways to Tractability for Geometric Thickness Depian, Thomas, Fink, Simon D., Firbas, Alexander, Ganian, Robert, Nöllenburg, Martin. Theory and Practice of Computer Science (SOFSEM'25)
  📄 Details

⬅️ Zurück zum Profil

2026

• Fair Correlation Clustering Meets Graph Parameters Johannes Blaha, Robert Ganian, Katharina Gillig, Jonathan Højlev, Simon Wietheger. Proceedings of the 17th Latin American Theoretical Informatics (LATIN 2026)
  📄 Details

2024

• Hot off the Press: The First Proven Performance Guarantees for the Non-Dominated Sorting Genetic Algorithm II (NSGA-II) on a Combinatorial Optimization Problem Sacha Cerf, Benjamin Doerr, Benjamin Hebras, Yakob Kahane, Simon Wietheger. Proceedings of the Genetic and Evolutionary Computation Conference Companion, GECCO 2024, Melbourne, VIC, Australia, July 14-18, 2024
  📄 Details

⬅️ Zurück zum Profil

2026

• OBDDs, SDDs, and Circuits of Bounded Width: Completeness Matters Alexis De Colnet, Sebastian Ordyniak, Stefan Szeider. Artificial Intelligence
  📄 Details

• Backdoors to Satisfaction Continued Serge Gaspers, Stefan Szeider. Computer Science Review
  📄 Details

⬅️ Zurück zum Profil

2026

• The Peculiarities of Extending Queue Layouts Depian, Thomas, Fink, Simon D., Ganian, Robert, Nöllenburg, Martin. Graph-Theoretic Concepts in Computer Science (WG'25)
  📄 Details

2025

• Visualizing Treewidth Chiu, Alvin, Depian, Thomas, Eppstein, David, Goodrich, Michael T., Nöllenburg, Martin. Graph Drawing and Network Visualization (GD'25)
  📄 Details

⬅️ Zurück zum Profil

2025

• Genetic Programming Hyper-Heuristic for the Dynamic Electric Dial-a-Ride Problem Huang, William, Mei, Yi, Raidl, Günther, Zhang, Fangfang, Tomandl, Laurenz, Limmer, Steffen, Zhang, Mengjie, Rodemann, Tobias. 2025 IEEE Congress on Evolutionary Computation (CEC)
  📄 Details

2024

• Compilation and Fast Model Counting beyond CNF Alexis de Colnet, Stefan Szeider, Tianwei Zhang. Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI-24
  📄 Details

⬅️ Zurück zum Profil

2026

• Graph Choosability via SAT: Beyond the Nullstellensatz Markus Kirchweger, Tomás Peitl, David Seka, Stefan Szeider. The 40th Annual AAAI Conference on Artificial Intelligence, AAAI-2026
  📄 Details

2025

• Better Extension Variables in DQBF via Independence Leroy Chew, Tomás Peitl. 28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025, Glasgow, Scotland, August 12-15, 2025
  📄 Details

2024

• Hard QBFs for Merge Resolution Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tomáš Peitl, Gaurav Sood. ACM Trans. Comput. Theory
  📄 Details