Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic (Q5039504)
From MaRDI portal
scientific article; zbMATH DE number 7600814
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic |
scientific article; zbMATH DE number 7600814 |
Statements
Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic (English)
0 references
13 October 2022
0 references
0 references
