Crossmark

Memory-efficient fixpoint computation

Crossref DOI link: https://doi.org/10.1007/s10703-025-00471-8

Published Online: 2025-04-10

Published Print: 2025-04

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Kim, Sung Kook

Venet, Arnaud J.

Thakur, Aditya V. https://orcid.org/0000-0003-3166-1517
License Information

Text and Data Mining valid from 2025-04-01

Version of Record valid from 2025-04-10
More Information

Article History

Received: 27 October 2021

Accepted: 7 February 2025

First Online: 10 April 2025