Speeding Up SMT-Based Quantitative Program Analysis.

Daniel J. Fremont Sanjit A. Seshia

Published in: CoRR (2014)

Keyphrases

qualitative and quantitative
quantitative and qualitative
quantitative measures
information systems
knowledge base
similarity measure
multi agent
preprocessing
search space
statistical machine translation