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

Results 1-20 of 115 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Slivovsky, Friedrich ; Szeider, Stefan ; Lonsing, Florian ; Seidl, Martina Variable Dependencies and Q-ResolutionKonferenzbeitrag Inproceedings 2013
2Misra, Neeldhara ; Ordyniak, Sebastian ; Raman, Venkatesh ; Szeider, Stefan ; Järvisalo, Matti ; Van Gelder, Allen Upper and Lower Bounds for Weak Backdoor Set DetectionKonferenzbeitrag Inproceedings 2013
3Ramaswamy, Vaidyanathan P. ; Szeider, Stefan Turbocharging Treewidth-Bounded Bayesian Network Structure LearningKonferenzbeitrag Inproceedings 2021
4Pichler, Reinhard ; Rümmele, Stefan ; Szeider, Stefan ; Woltran, Stefan ; Lin, Fangzhen ; Sattler, Ulrike ; Truszczynski, Miroslaw Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not EnoughKonferenzbeitrag Inproceedings2010
5Ganian, Robert ; Schidler, Andre ; Sorge, Manuel ; Szeider, Stefan Threshold Treewidth and Hypertree WidthKonferenzbeitrag Inproceedings2021
6de Haan, Ronald ; Szeider, Stefan The Parameterized Complexity of Reasoning Problems Beyond NPKonferenzbeitrag Inproceedings 2014
7Szeider, Stefan The Parameterized Complexity of Propositional SatisfiabilityPräsentation Presentation2012
8Gaspers, Serge ; Szeider, Stefan The Parameterized Complexity of Local ConsistencyKonferenzbeitrag Inproceedings 2011
9Szeider, Stefan ; Tompits, Hans The Parameterized Complexity of Constraint Satisfaction and ReasoningKonferenzbeitrag Inproceedings2013
10Eiben, Eduard ; Ganian, Robert ; Kanj, Iyad ; Ordyniak, Sebastian ; Szeider, Stefan The Parameterized Complexity of Clustering Incomplete DataKonferenzbeitrag Inproceedings 2021
11Szeider, Stefan ; Ordyniak, Sebastian ; Gaspers, Serge The Constraint Satisfaction Problem: Complexity and ApproximabilityBuchbeitrag Book Contribution 2017
12Kim, Eun Jung ; Ordyniak, Sebastian ; Szeider, Stefan The Complexity of Repairing, Adjusting, and Aggregating of Extensions in Abstract ArgumentationKonferenzbeitrag Inproceedings 2014
13Bäckström, Christer ; Chen, Yue ; Jonsson, Peter ; Ordyniak, Sebastian ; Szeider, Stefan ; Hoffmann, Jörg ; Selman, Bart The Complexity of Planning Revisited - A Parameterized AnalysisKonferenzbeitrag Inproceedings 2012
14Modgil, Sanjay ; Toni, Francesca ; Bex, Floris ; Bratko, Ivan ; Chesñevar, Carlos I. ; Dvořák, Wolfgang ; Falappa, Marcelo A. ; Fan, Xiuyi ; Gaggl, Sarah Alice ; García, Alejandro J. ; González, María P. ; Gordon, Thomas F. ; Leite, João ; Možina, Martin ; Reed, Chris ; Simari, Guillermo R. ; Szeider, Stefan ; Torroni, Paolo ; Woltran, Stefan ; Ossowski, Sascha The Added Value of ArgumentationBuchbeitrag Book Contribution 2012
15Kanj, Iyad ; de Haan, Ronald ; Szeider, Stefan Subexponential Time Complexity of CSP with Global ConstraintsKonferenzbeitrag Inproceedings 2014
16Gaspers, Serge ; Szeider, Stefan ; Cimatti, Alessandro ; Sebastiani, Roberto Strong Backdoors to Nested SatisfiabilityKonferenzbeitrag Inproceedings 2012
17Gaspers, Serge ; Szeider, Stefan ; Reingold, Omer Strong Backdoors to Bounded Treewidth SATKonferenzbeitrag Inproceedings 2013
18Eiben, Eduard ; Ganian, Robert ; Szeider, Stefan Solving Problems on Graphs of High Rank-WidthKonferenzbeitrag Inproceedings 2015
19Alon, Noga ; Gutin, Gregory ; Kim, Eun Jun ; Szeider, Stefan ; Yeo, Anders ; Charikar, Moses Solving MAX-r-SAT Above a Tight Lower BoundKonferenzbeitrag Inproceedings 2010
20Kanj, Iyad ; de Haan, Ronald ; Szeider, Stefan Small Unsatisfiable Subsets in Constraint SatisfactionKonferenzbeitrag Inproceedings 2014

Results 1-16 of 16 (Search time: 0.013 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Kim, Eun Jung ; Ordyniak, Sebastian ; Verheij, Bart ; Szeider, Stefan ; Woltran, Stefan Valued-Based Argumentation for Tree-like Value GraphsKonferenzbeitrag Inproceedings 2012
2Strichman, Ofer ; Szeider, Stefan Theory and Applications of Satisfiability Testing – SAT 2010Buch Book 2010
3Dittmer 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
4Parlak 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
5Haan Ronald de - 2016 - Parameterized complexity in the polynomial hierarchy.pdf.jpgHaan, Ronald de Parameterized complexity in the polynomial hierarchyThesis Hochschulschrift 2016
6Gutin, Gregory ; Szeider, Stefan Parameterized and Exact Computation, 8th International Symposium, IPEC 2013 (LNCS 8246)Konferenzband Proceedings2013
7Kucera, Antonin ; Potapov, Igor ; Ciabattoni, Agata ; Szeider, Stefan ; Freivalds, Rusins MFCS & CSL 2010 Satellite Workshops: Selected Papers, Fundamenta Informaticae 123Konferenzband Proceedings 2013
8Verheij, Bart ; Szeider, Stefan ; Woltran, Stefan Fourth International Conference on Computational Models of Argument (COMMA 2012)Konferenzband Proceedings2012
9Ellmauthaler, Stefan ; Wallner, Johannes Peter ; Verheij, Bart ; Szeider, Stefan ; Woltran, Stefan Evaluating Abstract Dialectical Frameworks with ASPKonferenzbeitrag Inproceedings 2012
10Charwat, Günther ; Dvorak, Wolfgang ; Verheij, Bart ; Szeider, Stefan ; Woltran, Stefan dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning ToolKonferenzbeitrag Inproceedings 2012
11Lackner Martin - 2014 - Detecting structure in permutations and preferences.pdf.jpgLackner, Martin Detecting structure in permutations and preferencesThesis Hochschulschrift 2014
12Bliem, Bernhard ; Pichler, Reinhard ; Woltran, Stefan ; Gutin, Gregory ; Szeider, Stefan Declarative Dynamic Programming as an Alternative Realization of Courcelle’s TheoremKonferenzbeitrag Inproceedings 2013
13Dvorak, Wolfgang ; Gaggl, Sarah ; Verheij, Bart ; Szeider, Stefan ; Woltran, Stefan Computational Aspects of cf2 and stage2 Argumentation Semantics.Konferenzbeitrag Inproceedings 2012
14Egly, Uwe ; Creignou, Nadia ; Schmidt, Johannes ; Verheij, Bart ; Szeider, Stefan ; Woltran, Stefan Complexity of logic-based argumentation in Schaefer's frameworkKonferenzbeitrag Inproceedings 2012
15Dvorak, Wolfgang ; Spanring, Christof ; Verheij, Bart ; Szeider, Stefan ; Woltran, Stefan Comparing the Expressiveness of Argumentation SemanticsKonferenzbeitrag Inproceedings 2012
16Peitl Tomas - 2019 - Advanced dependency analysis for QBF.pdf.jpgPeitl, TomášAdvanced dependency analysis for QBFThesis Hochschulschrift 2019



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