Name Card

Full name Familienname, Vorname
Szeider, Stefan
 

Own Publications Eigene Publikationen

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fichte, Johannes ; Szeider, Stefan Backdoor Trees for Answer Set ProgrammingKonferenzbeitrag Inproceedings 2017
2Fichte, Johannes K. ; Lodha, Neha ; Szeider, Stefan SAT-Based Local Improvement for Finding Tree Decompositions of Small WidthKonferenzbeitrag Inproceedings 2017
3Fleischner, Herbert ; Mujuni, Egbert ; Paulusma, Daniël ; Szeider, Stefan Covering graphs with few complete bipartite subgraphsArtikel Article2009
4Samer, Marko ; Szeider, Stefan Constraint Satisfaction with Bounded Treewidth RevisitedKonferenzbeitrag Inproceedings 2006

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.008 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kroell Markus - 2019 - Enumerating the answers to a query beyond conjunctive...pdf.jpgKröll, Markus Enumerating the answers to a query: beyond conjunctive queriesThesis Hochschulschrift 2019
2Fichte Johannes Klaus - 2015 - Backdoors to tractability of disjunctive answer...pdf.jpgFichte, Johannes Klaus Backdoors to tractability of disjunctive answer set programmingThesis Hochschulschrift 2015