Publications

Articles de revues internationales

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

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.

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.