Publications

International journals

2025 Alexander Beiser, Markus Hecher, Stefan Woltran, Automated Hybrid Grounding Using Structural and Data-Driven Heuristics in Theory and Practice of Logic Programming,vol. 25, n° 4, pp. 489-506, 2025.

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 Max Bannach, Markus Hecher, Counting Solutions Under Cardinality Constraints: Structure Counts in Counting in 22nd International Conference on Principles of Knowledge Representation and Reasoning {KR-2025},International Joint Conferences on Artificial Intelligence Organization, pp. 78-88, 2025.

2025 Josh Brunner, Erik Demaine, Timothy Gomez, Markus Hecher, Meryl Zhang, ETH Lower Bounds for n-Queens: Time Waits for Nobody in 36th International Workshop on Combinatorial Algorithms: (IWOCA 2025),Springer Nature Switzerland, vol. 15885, pp. 287-301, 2025.

2025 David Speck, Markus Hecher, Daniel Gnad, Johannes K. Fichte, Augusto B. Corrêa, Counting and Reasoning with Plans in AAAI 2025: Thirty-Ninth AAAI Conference on Artificial Intelligence,2025.

2025 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 Max Bannach, Markus Hecher, Structure-Guided Automated Reasoning in STACS 2025: 42nd International Symposium on Theoretical Aspects of Computer Science,2025.

2025 Max Bannach, Erik D. Demaine, Timothy Gomez, Markus Hecher, #P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought? in LICS 2025: Fortieth Annual ACM/IEEE Symposium on Logic in Computer Science,2025.

2025 Alexander Beiser, Martin Gebser, Markus Hecher, Stefan Woltran, FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding in 22nd International Conference on Principles of Knowledge Representation and Reasoning {KR-2025},International Joint Conferences on Artificial Intelligence Organization, pp. 100-109, 2025.

2025 Yasir Mahmood, Markus Hecher, Axel-Cyrille Ngonga Ngomo, Dung's Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases in AAAI 2025: Thirty-Ninth AAAI Conference on Artificial Intelligence,arXiv, 2025.

2025 Damiano Azzolini, Markus Hecher, Reasoning with Restricted Statistical Statements in Probabilistic Answer Set Programming: Complexity and Algorithms in 22nd International Conference on Principles of Knowledge Representation and Reasoning {KR-2025},International Joint Conferences on Artificial Intelligence Organization, pp. 56-66, 2025.

2025 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.