@misc{indiciae1a7e1d5e650b,
  title = {Advances in Symmetry Breaking for SAT Modulo Theories},
  author = {Saket Dingliwal and Ronak Agarwal and Happy Mittal and Parag Singla},
  year = {2020},
  url = {https://arxiv.org/abs/1908.00860},
  note = {Source identifier: 1908.00860}
}