Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu 0001, Pei Huang 0002, Feifei Ma, Jian Zhang 0001. PSMT: Satisfiability Modulo Theories Meets Probability Distribution. In 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023. pages 1756-1760, IEEE, 2023. [doi]
Abstract is missing.