Feifei Ma

According to our database, Feifei Ma authored at least 59 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

A prompt-based approach to adversarial example generation and robustness enhancement.

Yuting Yang, Pei Huang, Juan Cao, Jintao Li, Yun Lin, Feifei Ma

Frontiers Comput. Sci., August, 2024

PAD: A Robustness Enhancement Ensemble Method via Promoting Attention Diversity.

Yuting Yang, Pei Huang, Feifei Ma, Juan Cao, Jintao Li

Proceedings of the 2024 Joint International Conference on Computational Linguistics, 2024

2023

Investigating the Existence of Holey Latin Squares via Satisfiability Testing.

Minghao Liu, Rui Han, Fuqi Jia, Pei Huang, Feifei Ma, Hantao Zhang, Jian Zhang

Proceedings of the PRICAI 2023: Trends in Artificial Intelligence, 2023

Quantifying Robustness to Adversarial Word Substitutions.

Yuting Yang, Pei Huang, Juan Cao, Feifei Ma, Jian Zhang, Jintao Li

Proceedings of the Machine Learning and Knowledge Discovery in Databases: Research Track, 2023

Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning.

Fuqi Jia, Yuhang Dong, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization.

Minghao Liu, Kunhang Lv, Pei Huang, Rui Han, Fuqi Jia, Yu Zhang, Feifei Ma, Jian Zhang

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

PSMT: Satisfiability Modulo Theories Meets Probability Distribution.

Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Improving Bit-Blasting for Nonlinear Integer Constraints.

Fuqi Jia, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract).

Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Modelling and solving the supply marketing order allocation problem with time consistency and bundle discounts.

Yupeng Zhou, Minghao Liu, Feifei Ma, Na Luo, Minghao Yin

J. Oper. Res. Soc., 2022

Improving Simulated Annealing for Clique Partitioning Problems.

Jian Gao, Yiqi Lv, Minghao Liu, Shaowei Cai, Feifei Ma

J. Artif. Intell. Res., 2022

A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement.

Yuting Yang, Pei Huang, Juan Cao, Jintao Li, Yun Lin, Jin Song Dong, Feifei Ma, Jian Zhang

CoRR, 2022

Quantifying Robustness to Adversarial Word Substitutions.

Yuting Yang, Pei Huang, Feifei Ma, Juan Cao, Meishan Zhang, Jian Zhang, Jintao Li

CoRR, 2022

Solving multi-objective constrained minimum weighted bipartite assignment problem: a case study on energy-aware radio broadcast scheduling.

Yupeng Zhou, Mingjie Fan, Feifei Ma, Minghao Yin

Sci. China Inf. Sci., 2022

ε-weakened robustness of deep neural networks.

Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis.

Jiaxin Liang, Feifei Ma, Junping Zhou, Minghao Yin

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Word Level Robustness Enhancement: Fight Perturbation with Perturbation.

Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Can Graph Neural Networks Learn to Solve MaxSAT Problem?

Minghao Liu, Fuqi Jia, Pei Huang, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang

CoRR, 2021

Investigating the Existence of Costas Latin Squares via Satisfiability Testing.

Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma, Jian Zhang

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5.

Pei Huang, Rundong Li, Minghao Liu, Feifei Ma, Jian Zhang

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

2020

Counting the Number of Solutions to Constraints.

Jian Zhang, Cunjing Ge, Feifei Ma

CoRR, 2020

A decomposition-based memetic algorithm using helper objectives for shortwave radio broadcast resource allocation problem in China.

Yupeng Zhou, Mingjie Fan, Feifei Ma, Xin Xu, Minghao Yin

Appl. Soft Comput., 2020

Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks.

Minghao Liu, Fan Zhang, Pei Huang, Shuzi Niu, Feifei Ma, Jian Zhang

Proceedings of the Principles and Practice of Constraint Programming, 2020

Knowledge-Driven Multi-dimensional Dialogue Rewriting Model.

Xiangwei Guo, Yongli Wang, Gang Xiao, Feifei Ma

Proceedings of the Web and Big Data. APWeb-WAIM 2020 International Workshops, 2020

2019

On some matching problems under the color-spanning model.

Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang, Binhai Zhu

Theor. Comput. Sci., 2019

SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications.

Rongjie Yan, Anyu Cai, Hongyu Gao, Feifei Ma, Jun Yan

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing.

Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang

Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019

Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring.

Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Approximating Integer Solution Counting via Space Quantification for Linear Constraints.

Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

ACFNet: Attentional Class Feature Network for Semantic Segmentation.

Fan Zhang, Yanqin Chen, Zhihang Li, Zhibin Hong, Jingtuo Liu, Feifei Ma, Junyu Han, Errui Ding

Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision, 2019

2018

Computing and estimating the volume of the solution space of SMT(LA) constraints.

Cunjing Ge, Feifei Ma, Peng Zhang, Jian Zhang

Theor. Comput. Sci., 2018

A Community-Division Based Algorithm for Finding Relations Among Linear Constraints.

Minghao Liu, Feifei Ma, Jun Yan

Proceedings of the Knowledge Science, Engineering and Management, 2018

Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing.

Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

A New Probabilistic Algorithm for Approximate Model Counting.

Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma

Proceedings of the Second Workshop on Logics for Reasoning about Preferences, 2018

VolCE: An Efficient Tool for Solving #SMT(LA) Problems.

Cunjing Ge, Feifei Ma, Jian Zhang

Proceedings of the Second Workshop on Logics for Reasoning about Preferences, 2018

2017

Weak QMV algebras and some ring-like structures.

Xian Lu, Yun Shang, Ruqian Lu, Jian Zhang, Feifei Ma

Soft Comput., 2017

Diversified Top-k Partial MaxSAT Solving.

Junping Zhou, Huanyao Sun, Feifei Ma, Jian Gao, Ke Xu, Minghao Yin

CoRR, 2017

A New Probabilistic Algorithm for Approximate Model Counting.

Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang

CoRR, 2017

A Hybrid Multi-objective Evolutionary Algorithm for Energy-Aware Allocation and Scheduling Optimization of MPSoCs.

Rongjie Yan, Yupeng Zhou, Yige Yan, Minghao Yin, Min Yu, Feifei Ma, Kai Huang

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model.

Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang, Binhai Zhu

Proceedings of the Frontiers in Algorithmics - 11th International Workshop, 2017

Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment.

Linjie Pan, Ji-Wei Jin, Xin Gao, Wei Sun, Feifei Ma, Minghao Yin, Jian Zhang

Proceedings of the Principles and Practice of Constraint Programming, 2017

2016

Lightweight Method-Level Energy Consumption Estimation for Android Applications.

Qiong Lu, Tianyong Wu, Jiwei Yan, Jun Yan, Feifei Ma, Fan Zhang

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic.

Hai Liu, Feifei Ma, Jian Zhang

Proceedings of the PRICAI 2016: Trends in Artificial Intelligence, 2016

Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search.

Feifei Ma, Xin Gao, Minghao Yin, Linjie Pan, Ji-Wei Jin, Hai Liu, Jian Zhang

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA).

Cunjing Ge, Feifei Ma, Jian Zhang

CoRR, 2015

SMT Solving for the Theory of Ordering Constraints.

Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang

Proceedings of the Languages and Compilers for Parallel Computing, 2015

A Fast and Practical Method to Estimate Volumes of Convex Polytopes.

Cunjing Ge, Feifei Ma

Proceedings of the Frontiers in Algorithmics - 9th International Workshop, 2015

2014

Automatic Generation of Combinatorial Test Data

Jian Zhang, Zhiqiang Zhang, Feifei Ma

Springer Briefs in Computer Science, Springer, ISBN: 978-3-662-43429-1, 2014

A Fast and Practical Method to Estimate Volumes of Convex Polytopes.

Cunjing Ge, Feifei Ma, Jian Zhang

CoRR, 2014

2013

Finding orthogonal latin squares using finite model searching tools.

Feifei Ma, Jian Zhang

Sci. China Inf. Sci., 2013

2012

Integrating Standard Dependency Schemes in QCSP Solvers.

Ji-Wei Jin, Feifei Ma, Jian Zhang

J. Comput. Sci. Technol., 2012

An Efficient Lazy SMT Solver for Nonlinear Numerical Constraints.

Xiaohui Ji, Feifei Ma

Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

Faulty Interaction Identification via Constraint Solving and Optimization.

Jian Zhang, Feifei Ma, Zhiqiang Zhang

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Solving Generalized Optimization Problems Subject to SMT Constraints.

Feifei Ma, Jun Yan, Jian Zhang

Proceedings of the Frontiers in Algorithmics and Algorithmic Aspects in Information and Management, 2012

2010

Constraint solving techniques for software testing and analysis.

Feifei Ma

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

Volume Computation for Boolean Combination of Linear Arithmetic Constraints.

Feifei Ma, Sheng Liu, Jian Zhang

Proceedings of the Automated Deduction, 2009

Solving Global Unconstrained Optimization Problems by Symmetry-Breaking.

Xiaohui Ji, Feifei Ma, Jian Zhang

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008

Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints.

Feifei Ma, Jian Zhang

Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

2007

Computer Search for Large Sets of Idempotent Quasigroups.

Feifei Ma, Jian Zhang

Proceedings of the Computer Mathematics, 8th Asian Symposium, 2007