Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis
- Klemen, M.
- Carreira-Perpiñán, M.Á.
- Lopez-Garcia, P.
ISSN: 2075-2180
Année de publication: 2023
Proceedings - 39th International Conference on Logic Programming, ICLP 2023
Volumen: 385
Pages: 155-168
Type: Communication dans un congrès