TY  - RPRT
TI  - Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems
AU  - Qinheping Hu
AU  - John Cyphert
AU  - Loris D'Antoni
AU  - Thomas Reps
PY  - 2020
DO  - 10.1145/3385412.3385979
UR  - https://arxiv.org/abs/2004.00878
ID  - 2004.00878
ER  -