Lorenz Leutgeb

According to our database, Lorenz Leutgeb authored at least 7 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Symbolic Model Construction for Saturated Constrained Horn Clauses.

Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach

Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023

2022

Type-based analysis of logarithmic amortised complexity.

Martin Hofmann, Lorenz Leutgeb, David Obwaller, Georg Moser, Florian Zuleger

Math. Struct. Comput. Sci., June, 2022

A Two-Watched Literal Scheme for First-Order Logic.

Martin Bromberger, Tobias Gehl, Lorenz Leutgeb, Christoph Weidenbach

Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11, 2022

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures.

Lorenz Leutgeb, Georg Moser, Florian Zuleger

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

An Efficient Subsumption Test Pipeline for BS(LRA) Clauses.

Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures.

Lorenz Leutgeb, Georg Moser, Florian Zuleger

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2017

Techniques for Efficient Lazy-Grounding ASP Solving.

Lorenz Leutgeb, Antonius Weinzierl

Proceedings of the Declarative Programming and Knowledge Management, 2017