SMT(LIA) Sampling with High Diversity
Yong Lai, Junjie Li, and Chuan Luo
In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2026
SMT sampling refers to the task of generating a set of satisfying assignments (samples) for a given SMT formula. An effective SMT sampler should be capable of producing samples with high diversity to maximize coverage of the solution space. However, most SMT samplers struggle to adequately cover the solution space and fail to generate sufficiently diverse solutions.