Fichte, Johannes K.; Hecher, Markus; Morak, Michael; Thier, Patrick; Woltran, Stefan Solving projected model counting by utilizing treewidth and its limits. (English) Zbl 07638288 Artif. Intell. 314, Article ID 103810, 29 p. (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{J. K. Fichte} et al., Artif. Intell. 314, Article ID 103810, 29 p. (2023; Zbl 07638288) Full Text: DOI
Alviano, Mario; Dodaro, Carmine; Fichte, Johannes K.; Hecher, Markus; Philipp, Tobias; Rath, Jakob Inconsistency proofs for ASP: the ASP-DRUPE format. (English) Zbl 1434.68065 Theory Pract. Log. Program. 19, No. 5-6, 891-907 (2019). MSC: 68N17 PDFBibTeX XMLCite \textit{M. Alviano} et al., Theory Pract. Log. Program. 19, No. 5--6, 891--907 (2019; Zbl 1434.68065) Full Text: DOI arXiv
Fichte, Johannes K.; Szeider, Stefan Backdoors to normality for disjunctive logic programs. (English) Zbl 1367.68032 ACM Trans. Comput. Log. 17, No. 1, Article No. 7, 23 p. (2015). MSC: 68N17 68Q25 PDFBibTeX XMLCite \textit{J. K. Fichte} and \textit{S. Szeider}, ACM Trans. Comput. Log. 17, No. 1, Article No. 7, 23 p. (2015; Zbl 1367.68032) Full Text: DOI arXiv