Cited By
View all- Jia FHan RMa XCui BLiu MHuang PMa FZhang J(2023)PSMT: Satisfiability Modulo Theories Meets Probability Distribution2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)10.1109/ASE56229.2023.00183(1756-1760)Online publication date: 11-Sep-2023
- Liu MLv KHuang PHan RJia FZhang YMa FZhang J(2023)NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)10.1109/ASE56229.2023.00013(2046-2049)Online publication date: 11-Sep-2023