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
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Ganian-2022-SIAM Journal on Discrete Mathematics-vor.pdf.jpgGanian, Robert ; Kim, Eun Jung ; Szeider, Stefan Algorithmic applications of tree-cut widthArticle Artikel Dec-2022
2Eiben-2022-Finding a Cluster in Incomplete Data-vor.pdf.jpgEiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Ordyniak, Sebastian ; Szeider, Stefan Finding a Cluster in Incomplete DataInproceedings Konferenzbeitrag 1-Sep-2022
3Dreier-2022-SAT Backdoors Depth Beats Size-vor.pdf.jpgDreier, Jan ; Ordyniak, Sebastian ; Szeider, Stefan SAT Backdoors: Depth Beats SizeInproceedings Konferenzbeitrag 1-Sep-2022
4Ganian-2022-Journal of Artificial Intelligence Research-vor.pdf.jpgGanian, Robert ; Schidler, André ; Sorge, Manuel ; Szeider, Stefan Threshold Treewidth and Hypertree WidthArticle Artikel 10-Aug-2022
5Kirchweger-2022-A SAT Attack on Rotas Basis Conjecture-vor.pdf.jpgKirchweger, Markus ; Scheucher, Manfred ; Szeider, Stefan A SAT Attack on Rota’s Basis ConjectureInproceedings Konferenzbeitrag 28-Jul-2022
6Ganian-2022-Weighted Model Counting with Twin-Width-vor.pdf.jpgGanian, Robert ; Pokrývka, Filip ; Schidler, André ; Simonov, Kirill ; Szeider, Stefan ; Meel, Kuldeep S. ; Strichman, Ofer Weighted Model Counting with Twin-WidthInproceedings Konferenzbeitrag 28-Jul-2022
7Dreier-2022-CSP Beyond Tractable Constraint Languages-vor.pdf.jpgDreier, Jan ; Ordyniak, Sebastian ; Szeider, Stefan ; Solnon, Christine CSP Beyond Tractable Constraint LanguagesInproceedings Konferenzbeitrag 23-Jul-2022
8Dvorak-2022-Tractable Abstract Argumentation via Backdoor-Treewidth-vor.pdf.jpgDvořák, Wolfgang ; Hecher, Markus ; König, Matthias ; Schidler, Andre ; Szeider, Stefan ; Woltran, Stefan Tractable Abstract Argumentation via Backdoor-TreewidthInproceedings Konferenzbeitrag 28-Jun-2022
9Ganian, Robert ; Kratochvíl, Jan ; Szeider, Stefan ; Szeider, Stefan ; Ganian, Robert ; Kratochwill, Jan Preface: Ninth workshop on graph classes, optimization, and Width Parameters, Vienna, AustriaBook Contribution Buchbeitrag15-May-2022
10Ganian-2022-Journal of Artificial Intelligence Research-vor.pdf.jpgGanian, Robert ; Kim, Eun Jung ; Slivovsky, Friedrich ; Szeider, Stefan Sum-of-Products with Default Values: Algorithms and Complexity ResultsArticle Artikel 10-Feb-2022
11Schidler, André ; Szeider, Stefan A SAT Approach to Twin-WidthInproceedings Konferenzbeitrag 2022
12Szeider, Stefan The Parameterized Complexity of SATPresentation Vortrag2022
13Szeider, Stefan SLIM- SAT-based Local ImprovementPresentation Vortrag2022
14Szeider, Stefan SAT-based Local ImprovementPresentation Vortrag2022
15Szeider, Stefan From Twin-Width to Propositional Logic and BackPresentation Vortrag2022
16Peruvemba Ramaswamy-2022-Learning Large Bayesian Networks with Expert Con...-vor.pdf.jpgPeruvemba Ramaswamy, Vaidyanathan ; Szeider, Stefan Learning Large Bayesian Networks with Expert ConstraintsInproceedings Konferenzbeitrag 2022
17Schidler, Andre ; Szeider, Stefan Computing Optimal Hypertree Decompositions with SATKonferenzbeitrag Inproceedings 2021
18Peitl, Tomáš ; Szeider, Stefan Finding the Hardest Formulas for Resolution (Extended Abstract)Konferenzbeitrag Inproceedings 2021
19Samer, Marko ; Szeider, Stefan ; Biere, Armin ; Heule, Marijn ; van Maaren, Hans ; Walsh, Toby Chapter 17. Fixed-Parameter TractabilityBuchbeitrag Book Contribution 2021
20Ganian, Robert ; Schidler, Andre ; Sorge, Manuel ; Szeider, Stefan Threshold Treewidth and Hypertree WidthKonferenzbeitrag Inproceedings2021

Contributing Publications Mitbeteiligte Publikationen

Results 1-19 of 19 (Search time: 0.011 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Breitenbrunner Manuel - 2023 - Certifying Unsatisfiability in an Expansion-Based...pdf.jpgBreitenbrunner, Manuel Certifying Unsatisfiability in an Expansion-Based DQBF SolverThesis Hochschulschrift 2023
2Szeider, Stefan ; Ganian, Robert ; Silva, Alexandra 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)Proceedings Konferenzband22-Aug-2022
3Ganian, Robert ; Kratochvíl, Jan ; Szeider, Stefan ; Szeider, Stefan ; Ganian, Robert ; Kratochwill, Jan Preface: Ninth workshop on graph classes, optimization, and Width Parameters, Vienna, AustriaBook Contribution Buchbeitrag15-May-2022
4Peitl Tomas - 2019 - Advanced dependency analysis for QBF.pdf.jpgPeitl, TomášAdvanced dependency analysis for QBFThesis Hochschulschrift 2019
5Dittmer Verena - 2018 - Strukturelle Parameter von ILP und MILP -Instanzen aus...pdf.jpgDittmer, Verena Strukturelle Parameter von ILP und MILP -Instanzen aus der PraxisThesis Hochschulschrift 2018
6Parlak 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 Hochschulschrift 2016
7Haan Ronald de - 2016 - Parameterized complexity in the polynomial hierarchy.pdf.jpgHaan, Ronald de Parameterized complexity in the polynomial hierarchyThesis Hochschulschrift 2016
8Lackner Martin - 2014 - Detecting structure in permutations and preferences.pdf.jpgLackner, Martin Detecting structure in permutations and preferencesThesis Hochschulschrift 2014
9Bliem, Bernhard ; Pichler, Reinhard ; Woltran, Stefan ; Gutin, Gregory ; Szeider, Stefan Declarative Dynamic Programming as an Alternative Realization of Courcelle’s TheoremKonferenzbeitrag Inproceedings 2013
10Kucera, Antonin ; Potapov, Igor ; Ciabattoni, Agata ; Szeider, Stefan ; Freivalds, Rusins MFCS & CSL 2010 Satellite Workshops: Selected Papers, Fundamenta Informaticae 123Konferenzband Proceedings 2013
11Gutin, Gregory ; Szeider, Stefan Parameterized and Exact Computation, 8th International Symposium, IPEC 2013 (LNCS 8246)Konferenzband Proceedings2013
12Kim, Eun Jung ; Ordyniak, Sebastian ; Verheij, Bart ; Szeider, Stefan ; Woltran, Stefan Valued-Based Argumentation for Tree-like Value GraphsKonferenzbeitrag Inproceedings 2012
13Dvorak, Wolfgang ; Gaggl, Sarah ; Verheij, Bart ; Szeider, Stefan ; Woltran, Stefan Computational Aspects of cf2 and stage2 Argumentation Semantics.Konferenzbeitrag Inproceedings 2012
14Ellmauthaler, Stefan ; Wallner, Johannes Peter ; Verheij, Bart ; Szeider, Stefan ; Woltran, Stefan Evaluating Abstract Dialectical Frameworks with ASPKonferenzbeitrag Inproceedings 2012
15Egly, Uwe ; Creignou, Nadia ; Schmidt, Johannes ; Verheij, Bart ; Szeider, Stefan ; Woltran, Stefan Complexity of logic-based argumentation in Schaefer's frameworkKonferenzbeitrag Inproceedings 2012
16Charwat, Günther ; Dvorak, Wolfgang ; Verheij, Bart ; Szeider, Stefan ; Woltran, Stefan dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning ToolKonferenzbeitrag Inproceedings 2012
17Dvorak, Wolfgang ; Spanring, Christof ; Verheij, Bart ; Szeider, Stefan ; Woltran, Stefan Comparing the Expressiveness of Argumentation SemanticsKonferenzbeitrag Inproceedings 2012
18Verheij, Bart ; Szeider, Stefan ; Woltran, Stefan Fourth International Conference on Computational Models of Argument (COMMA 2012)Konferenzband Proceedings2012
19Strichman, Ofer ; Szeider, Stefan Theory and Applications of Satisfiability Testing – SAT 2010Buch Book 2010

Projects Projekte


Results 1-8 of 8 (Search time: 0.001 seconds).

TitleP-Investigator
Doctorate's CollegeSzeider, Stefan
Exploiting New Types of Structure for Fixed Parameter TractabilitySzeider, Stefan
Parameterized CompilationSzeider, Stefan
Parameterized Complexity of Local SearchSzeider, Stefan
Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AISzeider, Stefan
SAT-Based Local Improvement MethodsSzeider, Stefan
The Parameterized Complexity of Reasoning ProblemsSzeider, Stefan
Variable Dependencies of Quantified Boolean FormulasSzeider, Stefan