Publications

International journals

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

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.

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.