Towards Bit-Width-Independent Proofs in SMT Solvers.

Aina Niemetz Mathias Preiner Andrew Reynolds Yoni Zohar Clark W. Barrett Cesare Tinelli

Published in: CoRR (2019)

Keyphrases

modulo theories
database
sat solvers
theorem prover
eigenvalue problems
real time
data sets
case study
answer set programming
theorem proving
satisfiability modulo theories
automated theorem provers