Fichte, Johannes Klaus

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Fichte, Johannes Klaus
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 41-57 of 57 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
41Fichte, Johannes ; Kronegger, Martin ; Woltran, Stefan A Multiparametric View on Answer Set ProgrammingKonferenzbeitrag Inproceedings2017
42Fichte, Johannes ; Kronegger, Martin ; Woltran, Stefan Multiparametric View on Answer Set ProgrammingBericht Report2016
43Fichte, Johannes ; Szeider, Stefan Backdoor Trees for Answer Set ProgrammingBericht Report2016
44Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan Answer Set Solving using Tree Decompositions and Dynamic Programming -- The DynASP2 SystemBericht Report2016
45Fichte, Johannes K. ; Meier, Arne ; Schindler, Irina Strong Backdoors for Default LogicKonferenzbeitrag Inproceedings 2016
46Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan Counting Answer Sets via Dynamic ProgrammingKonferenzbeitrag Inproceedings2016
47Fichte, Johannes Modern SAT Solvers -- History, Techniques, and Success --Präsentation Presentation2015
48FICHTE, JOHANNES K. ; TRUSZCZYŃSKI, MIROSŁAW ; WOLTRAN, STEFAN Dual-normal logic programs - the forgotten classArtikel Article2015
49Fichte, Johannes Klaus ; Szeider, Stefan Backdoors to tractable answer-set programmingArtikel Article2015
50Fichte, Johannes K. ; Szeider, Stefan Backdoors to Normality for Disjunctive Logic ProgramsArtikel Article2015
51Fichte Johannes Klaus - 2015 - Backdoors to tractability of disjunctive answer...pdf.jpgFichte, Johannes Klaus Backdoors to tractability of disjunctive answer set programmingThesis Hochschulschrift 2015
52Fichte, Johannes ; Szeider, Stefan Backdoors to Normality for Disjunctive Logic ProgramsKonferenzbeitrag Inproceedings 2013
53Fichte, Johannes Klaus The Good, the Bad, and the Odd: Cycles in Answer-Set ProgramsKonferenzbeitrag Inproceedings 2012
54Fichte, Johannes ; Szeider, Stefan Backdoors to Normality for Disjunctive Logic ProgramsKonferenzbeitrag Inproceedings 2012
55Fichte, Johannes ; Szeider, Stefan Backdoors to Tractable Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2011
56Fichte, Johannes The Good, the Bad, and the Odd: Cycles in Answer-Set ProgramsKonferenzbeitrag Inproceedings 2011
57Atserias, A. ; Fichte, J. K. ; Thurley, M. Clause-learning algorithms with many restarts and bounded-width resolutionArtikel Article2011