Johannes Klaus Fichte | AC Group | TU Wienhttps://ac.tuwien.ac.at/team/johannes-klaus-fichte/Johannes Klaus FichteHugo Blox Builder (https://hugoblox.com)en-usSun, 01 Jan 2023 00:00:00 +0000https://ac.tuwien.ac.at/media/logo_hu10234977157890132473.pngJohannes Klaus Fichtehttps://ac.tuwien.ac.at/team/johannes-klaus-fichte/Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBFhttps://ac.tuwien.ac.at/publication/structure-aware-lower-bounds-and-broadening-the-horizon-of-tractability-for-qbf/Sun, 01 Jan 2023 00:00:00 +0000https://ac.tuwien.ac.at/publication/structure-aware-lower-bounds-and-broadening-the-horizon-of-tractability-for-qbf/Solving the Steiner Tree Problem with few Terminalshttps://ac.tuwien.ac.at/publication/solving-the-steiner-tree-problem-with-few-terminals/Wed, 01 Jan 2020 00:00:00 +0000https://ac.tuwien.ac.at/publication/solving-the-steiner-tree-problem-with-few-terminals/Towards Faster Reasoners by Using Transparent Huge Pageshttps://ac.tuwien.ac.at/publication/towards-faster-reasoners-by-using-transparent-huge-pages/Wed, 01 Jan 2020 00:00:00 +0000https://ac.tuwien.ac.at/publication/towards-faster-reasoners-by-using-transparent-huge-pages/Backdoor Trees for Answer Set Programminghttps://ac.tuwien.ac.at/publication/backdoor-trees-for-answer-set-programming/Sun, 01 Jan 2017 00:00:00 +0000https://ac.tuwien.ac.at/publication/backdoor-trees-for-answer-set-programming/Backdoors to Normality for Disjunctive Logic Programshttps://ac.tuwien.ac.at/publication/backdoors-to-normality-for-disjunctive-logic-programs-2/Thu, 01 Jan 2015 00:00:00 +0000https://ac.tuwien.ac.at/publication/backdoors-to-normality-for-disjunctive-logic-programs-2/Backdoors to Tractable Answer Set Programminghttps://ac.tuwien.ac.at/publication/backdoors-to-tractable-answer-set-programming-3/Thu, 01 Jan 2015 00:00:00 +0000https://ac.tuwien.ac.at/publication/backdoors-to-tractable-answer-set-programming-3/Backdoors to Normality for Disjunctive Logic Programshttps://ac.tuwien.ac.at/publication/backdoors-to-normality-for-disjunctive-logic-programs/Tue, 01 Jan 2013 00:00:00 +0000https://ac.tuwien.ac.at/publication/backdoors-to-normality-for-disjunctive-logic-programs/Backdoors to Tractable Answer-Set Programminghttps://ac.tuwien.ac.at/publication/backdoors-to-tractable-answer-set-programming-2/Sun, 01 Jan 2012 00:00:00 +0000https://ac.tuwien.ac.at/publication/backdoors-to-tractable-answer-set-programming-2/Backdoors to Tractable Answer-Set Programminghttps://ac.tuwien.ac.at/publication/backdoors-to-tractable-answer-set-programming/Sat, 01 Jan 2011 00:00:00 +0000https://ac.tuwien.ac.at/publication/backdoors-to-tractable-answer-set-programming/