Login / Signup
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