| 𝜀-weakened robustness of deep neural networks P Huang, Y Yang, M Liu, F Jia, F Ma, J Zhang Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022 | 13 | 2022 |
| Word level robustness enhancement: Fight perturbation with perturbation P Huang, Y Yang, F Jia, M Liu, F Ma, J Zhang Proceedings of the AAAI Conference on Artificial Intelligence 36 (10), 10785 …, 2022 | 10 | 2022 |
| Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. P Huang, M Liu, P Wang, W Zhang, F Ma, J Zhang IJCAI, 1093-1100, 2019 | 8 | 2019 |
| Investigating the existence of orthogonal golf designs via satisfiability testing P Huang, M Liu, C Ge, F Ma, J Zhang Proceedings of the 2019 on International Symposium on Symbolic and Algebraic …, 2019 | 8 | 2019 |
| 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 |
| Can graph neural networks learn to solve the MaxSAT problem?(student abstract) M Liu, P Huang, F Jia, F Zhang, Y Sun, S Cai, F Ma, J Zhang Proceedings of the AAAI Conference on Artificial Intelligence 37 (13), 16264 …, 2023 | 5 | 2023 |
| Learning the satisfiability of pseudo-Boolean problem with graph neural networks M Liu, F Zhang, P Huang, S Niu, F Ma, J Zhang Principles and Practice of Constraint Programming: 26th International …, 2020 | 4 | 2020 |
| Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning F Jia, Y Dong, M Liu, P Huang, F Ma, J Zhang Advances in Neural Information Processing Systems 36, 2024 | 3 | 2024 |
| Modelling and solving the supply marketing order allocation problem with time consistency and bundle discounts Y Zhou, M Liu, F Ma, N Luo, M Yin Journal of the Operational Research Society 73 (8), 1682-1691, 2022 | 3 | 2022 |
| Improving simulated annealing for clique partitioning problems J Gao, Y Lv, M Liu, S Cai, F Ma Journal of Artificial Intelligence Research 74, 1485-1513, 2022 | 2 | 2022 |
| {\epsilon}-weakened Robustness of Deep Neural Networks P Huang, Y Yang, M Liu, F Jia, F Ma, J Zhang arXiv preprint arXiv:2110.15764, 2021 | 2 | 2021 |
| Efficient SAT-based minimal model generation methods for modal logic S5 P Huang, R Li, M Liu, F Ma, J Zhang Theory and Applications of Satisfiability Testing–SAT 2021: 24th …, 2021 | 1 | 2021 |
| 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 |
| 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 |
| 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 |
| A Community-Division Based Algorithm for Finding Relations Among Linear Constraints M Liu, F Ma, J Yan Knowledge Science, Engineering and Management: 11th International Conference …, 2018 | | 2018 |
| 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 | | |
Feifei MaInstitute of Software, Chinese Academy of SciencesVerified email at ios.ac.cn
