Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic
Crossref DOI link: https://doi.org/10.1007/s10703-021-00372-6
Published Online: 2021-05-12
Published Print: 2021-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Backeman, Peter
Rümmer, Philipp
Zeljić, Aleksandar
Funding for this research was provided by:
Mälardalen University
Text and Data Mining valid from 2021-05-12
Version of Record valid from 2021-05-12
Article History
Accepted: 25 March 2021
First Online: 12 May 2021