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.002 seconds).

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

Projects Projekte


Results 1-5 of 5 (Search time: 0.001 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