TY  - RPRT
TI  - Advances in Symmetry Breaking for SAT Modulo Theories
AU  - Saket Dingliwal
AU  - Ronak Agarwal
AU  - Happy Mittal
AU  - Parag Singla
PY  - 2020
UR  - https://arxiv.org/abs/1908.00860
ID  - 1908.00860
ER  -