| Improving bit-blasting for nonlinear integer constraints F Jia, R Han, P Huang, M Liu, F Ma, J Zhang Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | 6 | 2023 |
| Investigating the Existence of Holey Latin Squares via Satisfiability Testing M Liu, R Han, F Jia, P Huang, F Ma, H Zhang, J Zhang Pacific Rim International Conference on Artificial Intelligence, 410-422, 2023 | | 2023 |
| NRAgo: Solving SMT (NRA) Formulas with Gradient-Based Optimization M Liu, K Lv, P Huang, R Han, F Jia, Y Zhang, F Ma, J Zhang 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | | 2023 |
| PSMT: Satisfiability Modulo Theories Meets Probability Distribution F Jia, R Han, X Ma, B Cui, M Liu, P Huang, F Ma, J Zhang 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | | 2023 |
| ISMT for SMT COMP 2023 F Jia, R Han, M Liu, C Ge, P Huang, F Ma, J Zhang | | |
| Yices-ismt for SMT COMP 2022 F Jia, R Han, M Liu, C Ge, P Huang, F Ma, J Zhang | | |
