@misc{indiciaed1a0ed27f40c,
  title = {Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem},
  author = {Enrico Lipparini and Stefan Ratschan},
  year = {2025},
  doi = {10.1007/s10817-024-09716-3},
  url = {https://arxiv.org/abs/2303.16582},
  note = {Source identifier: 2303.16582}
}