GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions.

Rafael Dutra Jonathan Bachrach Koushik Sen

Published in: FMCAD (2019)

Keyphrases

random sampling
optimal solution
real time
data sets
co occurrence
constraint satisfaction problems
sample size
sampling algorithm
sampling methods
sampling strategy
sampling strategies