Name Card

Full name Familienname, Vorname
Littman, Michael
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Fichte, Johannes ; Szeider, Stefan Backdoors to Normality for Disjunctive Logic ProgramsKonferenzbeitrag Inproceedings 2013
2de Haan, Ronald ; Roubickova, Anna ; Szeider, Stefan Parameterized Complexity Results for Plan ReuseKonferenzbeitrag Inproceedings 2013
3Kanj, Iyad ; Szeider, Stefan On the Subexponential Time Complexity of CSPKonferenzbeitrag Inproceedings 2013
4Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph Liberal Safety for Answer Set Programs with External SourcesKonferenzbeitrag Inproceedings 2013