2 papers
cs.SE2025
Towards Comprehensive Sampling of SMT Solutions
Shuangyu Lyu, Chuan Luo, Ruizhi Shi +3
This work focuses on effectively generating diverse solutions for satisfiability modulo theories (SMT) formulas, targeting the theories of bit-vectors, arrays, and uninterpreted fu…
cs.LO2025
SMT(LIA) Sampling with High Diversity
Yong Lai, Junjie Li, Chuan Luo
Satisfiability Modulo Linear Integer Arithmetic, SMT(LIA) for short, is pivotal across various critical domains. Previous research has primarily focused on SMT solving techniques.…