Follow
Johannes K. Fichte
Title
Cited by
Cited by
Year
Clause-learning algorithms with many restarts and bounded-width resolution
A Atserias, J Fichte, M Thurley
Journal of Artificial Intelligence Research (JAIR) 40, 353-373, 2011
1582011
The model counting competition 2020
JK Fichte, M Hecher, F Hamiti
Journal of Experimental Algorithmics (JEA) 26 (1), 1-26, 2021
642021
Backdoors to tractable answer set programming
JK Fichte, S Szeider
Artificial Intelligence 220, 64-103, 2015
58*2015
Answer set solving with bounded treewidth revisited
JK Fichte, M Hecher, M Morak, S Woltran
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2017
54*2017
Solving Projected Model Counting by Utilizing Treewidth and its Limits
JK Fichte, M Hecher, M Morak, P Thier, S Woltran
Artificial Intelligence 314, 103810, 2023
43*2023
Backdoors to Normality for Disjunctive Logic Programs.
JK Fichte, S Szeider
ACM Transactions on Computational Logic (TOCL) 17 (1), 7:1--7:23, 2015
422015
The PACE 2019 Parameterized Algorithms and Computational Experiments Challenge: The Fourth Iteration
MA Dzulfikar, JK Fichte, M Hecher
14th International Symposium on Parameterized and Exact Computation (IPEC 2019), 2019
402019
Exploiting Database Management Systems and Treewidth for Counting
JK Fichte, M Hecher, P Thier, S Woltran
Theory and Practice of Logic Programming, 2022
392022
Lower Bounds for QBFs of Bounded Treewidth
JK Fichte, M Hecher, A Pfandler
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
362020
A time leap challenge for SAT-solving
JK Fichte, M Hecher, S Szeider
International Conference on Principles and Practice of Constraint …, 2020
322020
The Silent (R)evolution of SAT
D Le Berre, JK Fichte, M Hecher, S Szeider
Communications of the ACM 66 (6), 64-72, 2023
31*2023
Weighted model counting on the GPU by exploiting small treewidth
JK Fichte, M Hecher, S Woltran, M Zisser
26th Annual European Symposium on Algorithms (ESA 2018), 2018
302018
An SMT approach to fractional hypertree width
JK Fichte, M Hecher, N Lodha, S Szeider
Principles and Practice of Constraint Programming: 24th International …, 2018
292018
An improved GPU-based SAT model counter
JK Fichte, M Hecher, M Zisser
Principles and Practice of Constraint Programming: 25th International …, 2019
28*2019
Exploiting treewidth for counting projected answer sets
JK Fichte, M Hecher
Proceedings of the 16th International Conference on Principles of Knowledge …, 2018
28*2018
SAT-based local improvement for finding tree decompositions of small width
JK Fichte, N Lodha, S Szeider
International Conference on Theory and Applications of Satisfiability …, 2017
282017
Counting Complexity for Reasoning in Abstract Argumentation
JK Fichte, M Hecher, A Meier
Journal of Artificial Intelligence Research 80, 805–834-805–834, 2024
27*2024
DynASP2.5: Dynamic Programming on Tree Decompositions in Action
JK Fichte, M Hecher, M Morak, S Woltran
12th International Symposium on Parameterized and Exact Computation (IPEC …, 2018
25*2018
Rushing and strolling among answer sets–navigation made easy
JK Fichte, SA Gaggl, D Rusovac
Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5651-5659, 2022
222022
Default logic and bounded treewidth
JK Fichte, M Hecher, I Schindler
Information and Computation 283, 1-19, 2022
17*2022
The system can't perform the operation now. Try again later.
Articles 1–20