TY  - RPRT
TI  - On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4
AU  - Andrew Reynolds
AU  - Morgan Deters
AU  - Viktor Kuncak
AU  - Cesare Tinelli
AU  - Clark Barrett
PY  - 2015
UR  - https://arxiv.org/abs/1502.04464
ID  - 1502.04464
ER  -