Publications

Articles de revues internationales

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

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 Viktor Besin, Markus Hecher, Matthias König, Stefan Woltran, Body-decoupled grounding via reduction: A novel approach on the Asp bottleneck in Artificial Intelligence (AIJ),vol. 359, pp. 104600, 2026.

2025 Contraintes 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 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 Damiano Azzolini, Markus Hecher, Abduction in the Landscape of Probabilistic Logic Programming in 18th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2026),Springer Nature Switzerland, vol. 16952, pp. 52-66, 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.

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 Alexander Beiser, Markus Hecher, Nysret Musliu, Stefan Woltran, Joint Air Traffic Flow and Capacity Management via Answer Set Programming in 18th International Conference on Logic Programming and Nonmonotonic Reasoning,2026.

2026 Connaissances Johannes K. Fichte, Markus Hecher, Yasir Mahmood, Zhengjun Wang, Diversity of Extensions in Abstract Argumentation in 35th International Joint Conference on Artificial Intelligence (IJCAI),2026.

2026 Contraintes Alexander Beiser, Markus Hecher, Nysret Musliu, Georg Trausmuth, Stefan Woltran, ASPaeroFlow: Decomposition Heuristics for Joint Air Traffic Flow & Capacity Management in 26th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2026),Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026.

2025 Contraintes 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 Connaissances Yasir Mahmood, Markus Hecher, Johanna Groven, Johannes K. Fichte, Structure-Aware Encodings of Argumentation Properties for Clique-width in 40th Annual AAAI Conference on Artificial Intelligence,2025.

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

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