TY  - RPRT
TI  - Satisfiability and Synthesis Modulo Oracles
AU  - Elizabeth Polgreen
AU  - Andrew Reynolds
AU  - Sanjit A. Seshia
PY  - 2021
UR  - https://arxiv.org/abs/2107.13477
ID  - 2107.13477
ER  -