The QSMA Algorithm for Quantifiers in SMT
Crossref DOI link: https://doi.org/10.1007/s10817-025-09727-8
Published Online: 2025-05-27
Published Print: 2025-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bonacina, Maria Paola
Graham-Lengrand, Stéphane
Vauthier, Christophe
Funding for this research was provided by:
Università degli Studi di Verona
Text and Data Mining valid from 2025-05-27
Version of Record valid from 2025-05-27
Article History
Received: 13 November 2024
Accepted: 8 April 2025
First Online: 27 May 2025