Johannes K. Fichte

Available identifiers

zbMath Open fichte.johannes-klausMaRDI QIDQ1647689

List of research outcomes

Publication	Date of Publication	Type
IASCAR: incremental answer set counting by anytime refinement	2025-01-03	Paper
Strong backdoors for default logic	2024-09-25	Paper
Proofs for propositional model counting	2024-07-12	Paper
Strong backdoors for default logic	2024-07-10	Paper
Exploiting Database Management Systems and Treewidth for Counting	2023-12-12	Paper
Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF	2023-04-26	Paper
IASCAR: incremental answer set counting by anytime refinement	2023-04-04	Paper
A practical account into counting Dung's extensions by dynamic programming	2023-04-04	Paper
The PACE 2019 Parameterized Algorithms and Computational Experiments Challenge: The Fourth Iteration (Invited Paper)	2023-02-03	Paper
Solving projected model counting by utilizing treewidth and its limits	2023-01-04	Paper
Default logic and bounded treewidth	2022-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q5009587	2021-08-04	Paper
Lower Bounds for QBFs of Bounded Treewidth	2021-01-21	Paper
DynASP2.5: Dynamic Programming on Tree Decompositions in Action	2020-05-27	Paper
Inconsistency Proofs for ASP: The ASP - DRUPE Format	2020-05-04	Paper
Treewidth and counting projected answer sets	2019-10-10	Paper
A multiparametric view on answer set programming	2019-08-13	Paper
Exploiting treewidth for projected model counting and its limits	2018-08-10	Paper
Default logic and bounded treewidth	2018-06-26	Paper
SAT-based local improvement for finding tree decompositions of small width	2017-11-15	Paper
Dual-normal logic programs – the forgotten class	2017-11-09	Paper
Answer set solving with bounded treewidth revisited	2017-09-05	Paper
Backdoors to Normality for Disjunctive Logic Programs	2017-07-12	Paper
Strong Backdoors for Default Logic	2016-09-05	Paper
Backdoors to tractable answer set programming	2015-05-06	Paper
The Good, the Bad, and the Odd: Cycles in Answer-Set Programs	2012-11-06	Paper
Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution	2011-03-08	Paper
Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution	2009-07-07	Paper

Research outcomes over time

This page was built for person: Johannes K. Fichte