People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
1
Pathways to Tractability for Geometric Thickness (Best Paper Award)
Alexander Firbas
PDF
Cite
Project
Project
DOI
Quantum Speedups for Polynomial-Time Dynamic Programming Algorithms
Caroppo, Susanna
,
Da Lozzo, Giordano
,
Di Battista, Giuseppe
,
Goodrich, Michael
,
Martin Nöllenburg
Cite
DOI
Representing Hypergraphs by Point-Line Incidences
Dobler, Alexander
,
Kobourov, Stephen G.
,
Mondal, Debajyoti
,
Martin Nöllenburg
Cite
Project
DOI
SAT Modulo Symmetries: A Survey
Stefan Szeider
PDF
Cite
Project
Project
StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners
Florentina Voboril
,
Peruvemba Ramaswamy, Vaidyanathan
,
Stefan Szeider
PDF
Cite
Project
Project
Project
DOI
Structural Parameterizations of Simultaneous Planarity
Thomas Depian
,
Simon Dominik Fink
,
Alexander Firbas
,
Robert Ganian
,
Matthias Pfretzschner
,
Ignaz Rutter
Cite
Project
Project
Project
Tackling the Alpha-Domination Problem Heuristically
Enrico Iurlano
,
Johannes Varga
,
Günther Raidl
PDF
Cite
DOI
The 3-Decomposition Conjecture: A SAT-Based Approach with Specialized Propagators
Stefan Szeider
PDF
Cite
Project
Project
DOI
The Complexity of Extending Fair Allocations of Indivisible Goods
Robert Ganian
PDF
Cite
Project
DOI
The Computational Complexity of Positive Non-Clashing Teaching in Graphs
Liana Khazaliya
PDF
Cite
Project
«
»
Cite
×