TY  - RPRT
TI  - Optimal Assumptions for Synthesis
AU  - Romain Brenguier
PY  - 2016
UR  - https://arxiv.org/abs/1604.03471
ID  - 1604.03471
ER  -