Johannes K. Fichte

Available identifiers

zbMath Open fichte.johannes-klausMaRDI QIDQ1647689

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Johannes K. Fichte