Publications

Articles de revues internationales

2026 Connaissances 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 Contraintes Johannes Fichte, Markus Hecher, The model counting competitions 2021–2023 in Artificial Intelligence (AIJ),vol. 360, pp. 104605, 2026.

2023 Contraintes 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.

Articles de conférences internationales

2026 Contraintes 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 Contraintes 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 Contraintes 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 Contraintes 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.