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

First Author: Abraham,E.,

Abstract

No abstract provided

Bibliographic Information

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

Type: Conference/Paper/Proceeding/Abstract