Solving Quantified Bit-Vectors Using Invertibility Conditions

Conference proceeding

Open access

Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark Barrett and Cesare Tinelli

International Conference on Computer Aided Verification, pp.236-255

2018

DOI: 10.1007/978-3-319-96142-2_16

Files and links (1)

url

https://doi.org/10.1007/978-3-319-96142-2_16View

Published (Version of record) Open Access

Title: Subtitle: Solving Quantified Bit-Vectors Using Invertibility Conditions
Creators: Aina Niemetz
Mathias Preiner
Andrew Reynolds
Clark Barrett
Cesare Tinelli
Resource Type: Conference proceeding
Publication Details: International Conference on Computer Aided Verification, pp.236-255
DOI: 10.1007/978-3-319-96142-2_16
ISBN: 9783319961415; 3319961411
ISSN: 1611-3349
eISSN: 1611-3349
Publisher: Springer International Publishing
Language: English
Date published: 2018
Academic Unit: Computer Science
Record Identifier: 9984002583902771

19 Record Views