Lorenz Leutgeb

According to our database, Lorenz Leutgeb authored at least 8 papers between 2017 and 2026.

Collaborative distances:

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

2026

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

Yasmine Briefs, Martin Bromberger, Tobias Gehl, Lorenz Leutgeb, Simon Schwarz, Christoph Weidenbach

CoRR, May, 2026

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