Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic (2021)
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