activity
20212026
most citedA Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs

5 citations · 5 across the 4 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

Towards an Automated Reasoning Tool for Complexity Analysis of Automated Reasoners

Louis Rustenholz, Manuel V. Hermenegildo, Pedro Lopez-Garcia +3

We present the theory underpinning a complexity analysis tool (under development) that aims at automating tedious parts of the analysis of complex algorithms originating from the f…