SMT(LIA) Sampling with High Diversity.

Yong Lai, Junjie Li, Chuan Luo

Browse the full TACAS paper archive.