TY  - RPRT
TI  - Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem
AU  - Enrico Lipparini
AU  - Stefan Ratschan
PY  - 2025
DO  - 10.1007/s10817-024-09716-3
UR  - https://arxiv.org/abs/2303.16582
ID  - 2303.16582
ER  -