TY  - RPRT
TI  - An Instantiation-Based Approach for Solving Quantified Linear Arithmetic
AU  - Andrew Reynolds
AU  - Tim King
AU  - Viktor Kuncak
PY  - 2016
UR  - https://arxiv.org/abs/1510.02642
ID  - 1510.02642
ER  -