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

First Author: Abraham,E.,
Attributed to:  Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://arxiv.org/abs/2101.05320

Type: Conference/Paper/Proceeding/Abstract