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

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

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://cl-informatik.uibk.ac.at/users/swinkler/arcade2021/

Type: Conference/Paper/Proceeding/Abstract