Sign in

GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions.

Rafael DutraJonathan BachrachKoushik 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