People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Slim
Breaking Symmetries with RootClique and LexTopsort
Johannes K. Fichte
,
Markus Hecher
,
Stefan Szeider
PDF
Cite
Project
Project
Computing Optimal Hypertree Decompositions
André Schidler
,
Stefan Szeider
PDF
Cite
Project
Fixed-Parameter Tractability of Dependency QBF with Structural Parameters
Robert Ganian
PDF
Cite
Project
Project
Project
Project
Formalizing Graph Trail Properties in Isabelle/HOL
Stefan Szeider
PDF
Cite
Project
Project
MaxSAT-Based Postprocessing for Treedepth
Vaidyanathan Peruvemba Ramaswamy
,
Stefan Szeider
PDF
Cite
Project
Project
DOI
On the Parameterized Complexity of Clustering Incomplete Data into Subspaces of Small Rank
Robert Ganian
,
Iyad Kanj
,
Stefan Szeider
PDF
Cite
Project
Project
Project
Short Q-Resolution Proofs with Homomorphisms
Ankit Shukla
,
Friedrich Slivovsky
,
Stefan Szeider
PDF
Cite
Project
Project
Project
«
Cite
×