SMTSampler: efficient stimulus generation from complex SMT constraints.

Rafael Dutra Jonathan Bachrach Koushik Sen

Published in: ICCAD (2018)

Keyphrases

computationally intensive
computationally expensive
cost effective
machine learning
information retrieval
high level
computationally efficient
complex data
databases
real world
optimal solution
pairwise
information extraction
constrained optimization
resource constraints
linear constraints