Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic

Ábrahám, Erika (Corresponding author); Davenport, James H. (Corresponding author); England, Matthew (Corresponding author); Kremer, Gereon (Corresponding author)

(2021)
Preprint