SMTSampler: efficient stimulus generation from complex SMT constraints.

Rafael Dutra, Jonathan Bachrach, Koushik Sen

Browse the full ICCAD paper archive.