1 paper
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…