Folgen
Lorenz Leutgeb
Lorenz Leutgeb
Bestätigte E-Mail-Adresse bei mpi-inf.mpg.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Techniques for efficient lazy-grounding ASP solving
L Leutgeb, A Weinzierl
Declarative Programming and Knowledge Management: Conference on Declarative …, 2018
172018
Type-based analysis of logarithmic amortised complexity
M Hofmann, L Leutgeb, D Obwaller, G Moser, F Zuleger
Mathematical Structures in Computer Science 32 (6), 794-826, 2022
92022
An Efficient Subsumption Test Pipeline for BS (LRA) Clauses
M Bromberger, L Leutgeb, C Weidenbach
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa …, 2022
42022
A Two-Watched Literal Scheme for First-Order Logic
M Bromberger, T Gehl, L Leutgeb, C Weidenbach
Practical Aspects of Automated Reasoning 2022, 2022
32022
ATLAS: automated amortised complexity analysis of self-adjusting data structures
L Leutgeb, G Moser, F Zuleger
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
22021
The Alpha Solver for Lazy-Grounding Answer-Set Programming
A Weinzierl, B Bogaerts, J Bomanson, T Eiter, G Friedrich, T Janhunen, ...
12019
Symbolic Model Construction for Saturated Constrained Horn Clauses
M Bromberger, L Leutgeb, C Weidenbach
International Symposium on Frontiers of Combining Systems, 137-155, 2023
2023
Three Watched Literals: Efficient Propagation for Lazy-Grounding Answer Set Programming Systems
L Leutgeb
TU Wien, 2017
2017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–8