CLIP Group's Publications in 2024

Technical Reports and Manuals:

1. Louis Rustenholz, Pedro López-García, José F. Morales, Manuel V. Hermenegildo. An Order Theory Framework of Recurrence Equations for Static Cost Analysis – Dynamic Inference of Non-Linear Inequality Invariants. IMDEA Software Institute and Technical University of Madrid (UPM), May 2024.

2. Louis Rustenholz, Maximiliano Klemen, Miguel Ángel Carreira-Perpiñán, Pedro López-García. A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs. 2024. Under consideration for publication in TPLP..