TY  - RPRT
TI  - CVC4SY for SyGuS-COMP 2019
AU  - Andrew Reynolds
AU  - Haniel Barbosa
AU  - Andres Nötzli
AU  - Clark Barrett
AU  - Cesare Tinelli
PY  - 2019
UR  - https://arxiv.org/abs/1907.10175
ID  - 1907.10175
ER  -