Publications

International journals

2026 Knowledge Olaf Beyersdorff, Johannes Fichte, Markus Hecher, Tim Hoffmann, Lea Kasche, The Relative Strength of #SAT Proof Systems in Journal of Automated Reasoning,vol. 70, n° 2, pp. 12, 2026.

2026 Constraints Johannes Fichte, Markus Hecher, The model counting competitions 2021–2023 in Artificial Intelligence (AIJ),vol. 360, pp. 104605, 2026.

2023 Constraints Johannes Fichte, Daniel Le Berre, Markus Hecher, Stefan Szeider, The Silent (R)evolution of SAT in Communications of the ACM,vol. 66, n° 6, pp. 64-72, 2023.

International conferences

2026 Constraints Zeynep Saribatur, Markus Hecher, Johannes Fichte, Abstracting the Indistinguishable in ASP in Thirty-Fifth International Joint Conference on Artificial Intelligence {IJCAI-26},International Joint Conferences on Artificial Intelligence Organization (IJCAI), pp. 4044-4053, 2026.

2026 Constraints Max Bannach, Johannes Fichte, Johanna Groven, Markus Hecher, Counting Complexity of ASP in 23nd International Conference on Principles of Knowledge Representation and Reasoning {KR-2026},International Joint Conferences on Artificial Intelligence Organization, pp. 112-122, 2026.

2025 Constraints Johannes Fichte, Nicolas Fröhlich, Markus Hecher, Victor Lagerkvist, Yasir Mahmood, Arne Meier, Jonathan Persson, Facets in Argumentation: A Formal Approach to Argument Significance in IJCAI 2025: 34th International Joint Conference on Artificial Intelligence,2025.

2025 Constraints Daniel Gnad, Markus Hecher, Sarah Alice Gaggl, Dominik Rusovac, David Speck, Johannes Fichte, Interactive Exploration of Plan Spaces in 22nd International Conference on Principles of Knowledge Representation and Reasoning {KR-2025},International Joint Conferences on Artificial Intelligence Organization, pp. 599-609, 2025.