Speeding Up SMT-Based Quantitative Program Analysis.

Daniel J. Fremont Sanjit A. Seshia

Published in: SMT (2014)

Keyphrases

qualitative and quantitative
quantitative and qualitative
database
data sets
computer vision
statistical machine translation
information retrieval
search engine
multi agent systems
information technology
evolutionary algorithm
medical images