@inproceedings{,
  title={Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem},
  author={Enrico Lipparini and Stefan Ratschan},
  booktitle={NASA Formal Methods Symposium},
  pages={472--488},
  year={2023},
  volume={13903},
  organization={Springer}
}