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

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

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



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