Towards Satisfiability Modulo Parametric Bit-vectors
Crossref DOI link: https://doi.org/10.1007/s10817-021-09598-9
Published Online: 2021-06-18
Published Print: 2021-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Niemetz, Aina
Preiner, Mathias
Reynolds, Andrew
Zohar, Yoni
Barrett, Clark
Tinelli, Cesare
Text and Data Mining valid from 2021-06-18
Version of Record valid from 2021-06-18
Article History
Received: 15 April 2020
Accepted: 22 September 2020
First Online: 18 June 2021