Szeider, Stefan

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Prefix title Titel (vorangestellt)
Univ.Prof. Mag.rer.nat. Dr.rer.nat.
 
Full name Familienname, Vorname
Szeider, Stefan
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-5 of 5 (Search time: 0.005 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Dittmer Verena - 2018 - Strukturelle Parameter von ILP und MILP -Instanzen aus...pdf.jpgDittmer, Verena Strukturelle Parameter von ILP und MILP -Instanzen aus der PraxisThesis Hochschulschrift2018
2Parlak Aykut - 2016 - A SAT spproach to clique-width of a digraph and an...pdf.jpgParlak, Aykut A SAT spproach to clique-width of a digraph and an application on model counting problemsThesis Hochschulschrift2016
3Haan Ronald de - 2016 - Parameterized complexity in the polynomial hierarchy.pdf.jpgHaan, Ronald <<de>> Parameterized complexity in the polynomial hierarchyThesis Hochschulschrift2016
4Lackner Martin - 2014 - Detecting structure in permutations and preferences.pdf.jpgLackner, Martin  Detecting structure in permutations and preferencesThesis Hochschulschrift2014
5Peitl Tomas - 2019 - Advanced dependency analysis for QBF.pdf.jpgPeitl, TomášAdvanced dependency analysis for QBFThesis Hochschulschrift2019

Projects Projekte


Results 1-5 of 5 (Search time: 0.0 seconds).

TitleP-InvestigatorProject status
Doctorate's CollegeSzeider, StefanIN PROGRESS
Exploiting New Types of Structure for Fixed Parameter TractabilitySzeider, StefanCLOSED
Parameterized CompilationSzeider, StefanCLOSED
SAT-Based Local Improvement MethodsSzeider, StefanIN PROGRESS
Variable Dependencies of Quantified Boolean FormulasSzeider, StefanCLOSED