TY  - RPRT
TI  - SyGuS-Comp 2018: Results and Analysis
AU  - Rajeev Alur
AU  - Dana Fisman
AU  - Saswat Padhi
AU  - Rishabh Singh
AU  - Abhishek Udupa
PY  - 2019
UR  - https://arxiv.org/abs/1904.07146
ID  - 1904.07146
ER  -