Johannes Klaus Fichte

Publikationer

2024

Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac (2024) IASCAR: Incremental Answer Set Counting by Anytime Refinement Theory and Practice of Logic Programming Vidare till DOI

2023

Johannes Klaus Fichte, Daniel Le Berre, Markus Hecher, Stefan Szeider (2023) The Silent (R)evolution of SAT Communications of the ACM, Vol. 66, s. 64-72 Vidare till DOI

Johannes K. Fichte, Robert Ganian, Markus Hecher, Friedrich Slivovsky, Sebastian Ordyniak (2023) Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF 2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS Vidare till DOI

Johannes Klaus Fichte, Markus Hecher, Mahmood Yasir, Arne Meier (2023) Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23), s. 3212-3220 Vidare till DOI