| 2024 | AAAI | On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions? | Markus Hecher, Rafael Kiesel |
| 2023 | ALENEX | A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets. | Rafael Kiesel, Andr Schidler |
| 2023 | ICLP | Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures. | Loris Bozzato, Thomas Eiter, Rafael Kiesel, Daria Stepanova |
| 2023 | KR | The Impact of Structure in Answer Set Counting: Fighting Cycles and its Limits. | Markus Hecher, Rafael Kiesel |
| 2023 | KR | Knowledge Compilation and More with SharpSAT-TD. | Rafael Kiesel, Thomas Eiter |
| 2021 | AAAI | On the Complexity of Sum-of-Products Problems over Semirings. | Thomas Eiter, Rafael Kiesel |
| 2021 | ICLP | aspmc: An Algebraic Answer Set Counter. | Thomas Eiter, Markus Hecher, Rafael Kiesel |
| 2021 | KR | Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting. | Thomas Eiter, Markus Hecher, Rafael Kiesel |
| 2020 | ECAI | Weighted LARS for Quantitative Stream Reasoning. | Thomas Eiter, Rafael Kiesel |
| 2017 | GECCO | Benefits of lamarckian evolution for morphologically evolving robots. | Milan Jelisavcic, Rafael Kiesel, Kyrre Glette, Evert Haasdijk, A. E. Eiben |