Concepedia

Johannes K. Fichte

JK

10

Publications

183

Citations

10

H-Index

2011

Active since

Affiliations

TU Wien(Current)

Technische Universität Dresden

University of Potsdam

Johannes K. Fichte is an author at TU Wien specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningComputational ComplexityFormal MethodsFormal VerificationProof ComplexityLogic ProgrammingData ScienceGraph Theory

Publications per year

2011–2023

10

Publications

10

Backdoors to tractable answer set programming

Johannes K. Fichte, Stefan Szeider · Artificial Intelligence · 2014 · 37 citations

Engineering, Automated Reasoning, Answer Set Programming +5

Counting Complexity for Reasoning in Abstract Argumentation

Johannes K. Fichte, Markus Hecher, Arne Meier · Proceedings of the AAAI Conference on Artificial Intelligence · 2019 · 22 citations · Full text

Reasoning, Abstract Argumentation, Engineering +15

Backdoors to Normality for Disjunctive Logic Programs

Johannes K. Fichte, Stefan Szeider · ACM Transactions on Computational Logic · 2015 · 21 citations

Circuit Complexity, Applied Logic, Engineering +17

Backdoors to Normality for Disjunctive Logic Programs

Johannes K. Fichte, Stefan Szeider · arXiv (Cornell University) · 2013 · 18 citations · Full text

Applied Logic, Computational Logic, Engineering +15

Lower Bounds for QBFs of Bounded Treewidth

Johannes K. Fichte, Markus Hecher, Andreas Pfandler · 2020 · 18 citations

Circuit Complexity, Mathematical Programming, Quantified Boolean Formulas +15

Rows per page

1–5 of 10