Markus Hecher
Orcid: 0000-0003-0131-6771
According to our database1,
Markus Hecher
authored at least 65 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
CoRR, 2024
On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
it Inf. Technol., May, 2023
Artif. Intell., 2023
LICS, 2023
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
On the Structural Complexity of Grounding - Tackling the ASP Grounding Bottleneck via Epistemic Programs and Treewidth.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023
Characterizing Structural Hardness of Logic Programs: What Makes Cycles and Reachability Hard for Treewidth?
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Theory Pract. Log. Program., 2022
CoRR, 2022
Treewidth-aware reductions of normal ASP to SAT - Is normal ASP harder than SAT after all?
Artif. Intell., 2022
Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Extended Abstract).
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
Frontiers in Artificial Intelligence and Applications 359, IOS Press, ISBN: 978-1-64368-345-4, 2022
2021
Proceedings of the Ausgezeichnete Informatikdissertationen 2021., 2021
Theory Pract. Log. Program., 2021
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021
Parallel Model Counting with CUDA: Algorithm Engineering for Efficient Hardware Utilization.
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020
Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020
Proceedings of the International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), 2020
Proceedings of the Principles and Practice of Constraint Programming, 2020
Proceedings of the Principles and Practice of Constraint Programming, 2020
Proceedings of the Principles and Practice of Constraint Programming, 2020
2019
Theory Pract. Log. Program., 2019
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019
The PACE 2019 Parameterized Algorithms and Computational Experiments Challenge: The Fourth Iteration (Invited Paper).
Proceedings of the 14th International Symposium on Parameterized and Exact Computation, 2019
Proceedings of the Principles and Practice of Constraint Programming, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Proceedings of the 26th Annual European Symposium on Algorithms, 2018
Proceedings of the Principles and Practice of Constraint Programming, 2018
2017
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017
2016
D-FLAT<sup>2</sup>: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy.
Fundam. Informaticae, 2016
On Efficiently Enumerating Semi-Stable Extensions via Dynamic Programming on Tree Decompositions.
Proceedings of the Computational Models of Argument, 2016
Proceedings of the Beyond NP, 2016
2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014