TY  - RPRT
TI  - Approaches for Synthesis Conjectures in an SMT Solver
AU  - Andrew Reynolds
PY  - 2015
UR  - https://arxiv.org/abs/1411.3970
ID  - 1411.3970
ER  -