Smten: Automatic Translation of High-Level Symbolic Computations into SMT Queries.
Richard UhlerNirav DavePublished in: CAV (2013)
Keyphrases
- high level
- low level
- intermediate level
- query processing
- query evaluation
- query language
- web search engines
- user queries
- response time
- higher level
- neural network
- aggregate queries
- efficient processing
- complex queries
- query logs
- low level features
- retrieval systems
- programming language
- data objects
- semantic information
- natural language processing
- statistical machine translation
- data sources