TY  - RPRT
TI  - Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic
AU  - Erika Abraham
AU  - James H. Davenport
AU  - Matthew England
AU  - Gereon Kremer
PY  - 2021
UR  - https://arxiv.org/abs/2108.05320
ID  - 2108.05320
ER  -