Szeider, Stefan

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Szeider, Stefan
 

Own Publications Eigene Publikationen

Filter:
Author:  Fichte, Johannes Klaus

Results 1-2 of 2 (Search time: 0.003 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

Contributing Publications Mitbeteiligte Publikationen

Filter:
Author:  Fichte, Johannes Klaus

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

PreviewAuthor(s)TitleTypeIssue Date
1Fichte Johannes Klaus - 2015 - Backdoors to tractability of disjunctive answer...pdf.jpgFichte, Johannes Klaus Backdoors to tractability of disjunctive answer set programmingThesis Hochschulschrift 2015