Login / Signup
A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra.
Erika Ábrahám
Florian Corzilius
Ulrich Loup
Thomas Sturm
Published in:
Verification over discrete-continuous boundaries (2010)
Keyphrases
</>
data sets
neural network
real world
real life
data model
relational algebra
database systems
query language
information extraction
statistical machine translation