Johannes Klaus Fichte

Recent Publications

Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF
Johannes Klaus Fichte, Robert Ganian, Markus Hecher, Friedrich Slivovsky, Sebastian Ordyniak
Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pages 1-14, 2023.
PDF bib Project DOI
Solving the Steiner Tree Problem with few Terminals
Johannes Klaus Fichte, Markus Hecher, Andr{\'{e}} Schidler
32nd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2020, Baltimore, MD, USA, November 9-11, 2020, pages 293-300, 2020, IEEE.
bib
Towards Faster Reasoners by Using Transparent Huge Pages
Johannes Klaus Fichte, Norbert Manthey, Julian Stecklina, Andr{\'{e}} Schidler
Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings, volume 12333 of Lecture Notes in Computer Science, pages 304-322, 2020, Springer.
bib
Backdoor Trees for Answer Set Programming
Johannes Klaus Fichte, Stefan Szeider
Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017, Espoo, Finland, July 3, 2017. (Bart Bogaerts and Amelia Harrison), volume 1868 of CEUR Workshop Proceedings, 2017, CEUR-WS.org.
PDF bib
Backdoors to Normality for Disjunctive Logic Programs
Johannes Klaus Fichte, Stefan Szeider
ACM Transactions on Computational Logic, volume 17, number 1, 2015.
bib DOI