Login / Signup
Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic.
Erika Ábrahám
James H. Davenport
Matthew England
Gereon Kremer
Published in:
ARCADE@CADE (2021)
Keyphrases
</>
quantifier free
first order logic
quantifier elimination
rewrite systems
database
artificial intelligence
query language
expressive power
satisfiability modulo theories