Feifei Ma

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 51

Top Topics

Satisfiability Testing

Top Venues

Publications

Yuting Yang, Pei Huang, Juan Cao, Jintao Li, Yun Lin, Feifei Ma
A prompt-based approach to adversarial example generation and robustness enhancement. Frontiers Comput. Sci. 18 (4) (2024)
Yuting Yang, Pei Huang, Juan Cao, Jintao Li, Yun Lin, Feifei Ma
A prompt-based approach to adversarial example generation and robustness enhancement. Frontiers Comput. Sci. 18 (4) (2024)
Fuqi Jia, Yuhang Dong, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang
Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning. NeurIPS (2023)
Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang
Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract). AAAI (2023)
Minghao Liu, Rui Han, Fuqi Jia, Pei Huang, Feifei Ma, Hantao Zhang, Jian Zhang
Investigating the Existence of Holey Latin Squares via Satisfiability Testing. PRICAI (2) (2023)
Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang
PSMT: Satisfiability Modulo Theories Meets Probability Distribution. ASE (2023)
Yuting Yang, Pei Huang, Juao Cao, Feifei Ma, Jian Zhang, Jintao Li
Quantifying Robustness to Adversarial Word Substitutions. ECML/PKDD (1) (2023)
Minghao Liu, Kunhang Lv, Pei Huang, Rui Han, Fuqi Jia, Yu Zhang, Feifei Ma, Jian Zhang
NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization. ASE (2023)
Fuqi Jia, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang
Improving Bit-Blasting for Nonlinear Integer Constraints. ISSTA (2023)
Yuting Yang, Pei Huang, Juan Cao, Jintao Li, Yun Lin, Jin Song Dong, Feifei Ma, Jian Zhang
A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement. CoRR (2022)
Yupeng Zhou, Mingjie Fan, Feifei Ma, Minghao Yin
Solving multi-objective constrained minimum weighted bipartite assignment problem: a case study on energy-aware radio broadcast scheduling. Sci. China Inf. Sci. 65 (8) (2022)
Yupeng Zhou, Minghao Liu, Feifei Ma, Na Luo, Minghao Yin
Modelling and solving the supply marketing order allocation problem with time consistency and bundle discounts. J. Oper. Res. Soc. 73 (8) (2022)
Yuting Yang, Pei Huang, Feifei Ma, Juan Cao, Meishan Zhang, Jian Zhang, Jintao Li
Quantifying Robustness to Adversarial Word Substitutions. CoRR (2022)
Jian Gao, Yiqi Lv, Minghao Liu, Shaowei Cai, Feifei Ma
Improving Simulated Annealing for Clique Partitioning Problems. J. Artif. Intell. Res. 74 (2022)
Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang
Word Level Robustness Enhancement: Fight Perturbation with Perturbation. AAAI (2022)
Jiaxin Liang, Feifei Ma, Junping Zhou, Minghao Yin
AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis. IJCAI (2022)
Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang
ε-weakened robustness of deep neural networks. ISSTA (2022)
Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang
ε-weakened Robustness of Deep Neural Networks. CoRR (2021)
Pei Huang, Rundong Li, Minghao Liu, Feifei Ma, Jian Zhang
Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5. SAT (2021)
Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma, Jian Zhang
Investigating the Existence of Costas Latin Squares via Satisfiability Testing. SAT (2021)
Minghao Liu, Fuqi Jia, Pei Huang, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang
Can Graph Neural Networks Learn to Solve MaxSAT Problem? CoRR (2021)
Jian Zhang, Cunjing Ge, Feifei Ma
Counting the Number of Solutions to Constraints. CoRR (2020)
Yupeng Zhou, Mingjie Fan, Feifei Ma, Xin Xu, Minghao Yin
A decomposition-based memetic algorithm using helper objectives for shortwave radio broadcast resource allocation problem in China. Appl. Soft Comput. 91 (2020)
Xiangwei Guo, Yongli Wang, Gang Xiao, Feifei Ma
Knowledge-Driven Multi-dimensional Dialogue Rewriting Model. APWeb/WAIM Workshops (2020)
Minghao Liu, Fan Zhang, Pei Huang, Shuzi Niu, Feifei Ma, Jian Zhang
Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. CP (2020)
Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang
Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. IJCAI (2019)
Fan Zhang, Yanqin Chen, Zhihang Li, Zhibin Hong, Jingtuo Liu, Feifei Ma, Junyu Han, Errui Ding
ACFNet: Attentional Class Feature Network for Semantic Segmentation. ICCV (2019)
Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang, Binhai Zhu
On some matching problems under the color-spanning model. Theor. Comput. Sci. 786 (2019)
Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang
Approximating Integer Solution Counting via Space Quantification for Linear Constraints. IJCAI (2019)
Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang
Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. ISSAC (2019)
Fan Zhang, Yanqin Chen, Zhihang Li, Zhibin Hong, Jingtuo Liu, Feifei Ma, Junyu Han, Errui Ding
ACFNet: Attentional Class Feature Network for Semantic Segmentation. CoRR (2019)
Rongjie Yan, Anyu Cai, Hongyu Gao, Feifei Ma, Jun Yan
SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications. TASE (2019)
Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma
A New Probabilistic Algorithm for Approximate Model Counting. PRUV@IJCAR (2018)
Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang, Binhai Zhu
On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model. CoRR (2018)
Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma
A New Probabilistic Algorithm for Approximate Model Counting. IJCAR (2018)
Cunjing Ge, Feifei Ma, Jian Zhang
VolCE: An Efficient Tool for Solving #SMT(LA) Problems. PRUV@IJCAR (2018)
Cunjing Ge, Feifei Ma, Peng Zhang, Jian Zhang
Computing and estimating the volume of the solution space of SMT(LA) constraints. Theor. Comput. Sci. 743 (2018)
Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang
Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. IJCAR (2018)
Minghao Liu, Feifei Ma, Jun Yan
A Community-Division Based Algorithm for Finding Relations Among Linear Constraints. KSEM (2) (2018)
Junping Zhou, Huanyao Sun, Feifei Ma, Jian Gao, Ke Xu, Minghao Yin
Diversified Top-k Partial MaxSAT Solving. CoRR (2017)
Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang, Binhai Zhu
On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model. FAW (2017)
Linjie Pan, Ji-Wei Jin, Xin Gao, Wei Sun, Feifei Ma, Minghao Yin, Jian Zhang
Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment. CP (2017)
Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang
A New Probabilistic Algorithm for Approximate Model Counting. CoRR (2017)
Xian Lu, Yun Shang, Ruqian Lu, Jian Zhang, Feifei Ma
Weak QMV algebras and some ring-like structures. Soft Comput. 21 (10) (2017)
Rongjie Yan, Yupeng Zhou, Yige Yan, Minghao Yin, Min Yu, Feifei Ma, Kai Huang
A Hybrid Multi-objective Evolutionary Algorithm for Energy-Aware Allocation and Scheduling Optimization of MPSoCs. ICTAI (2017)
Qiong Lu, Tianyong Wu, Jiwei Yan, Jun Yan, Feifei Ma, Fan Zhang
Lightweight Method-Level Energy Consumption Estimation for Android Applications. TASE (2016)
Feifei Ma, Xin Gao, Minghao Yin, Linjie Pan, Ji-Wei Jin, Hai Liu, Jian Zhang
Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search. CP (2016)
Hai Liu, Feifei Ma, Jian Zhang
Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic. PRICAI (2016)
Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang
SMT Solving for the Theory of Ordering Constraints. LCPC (2015)
Cunjing Ge, Feifei Ma, Jian Zhang
A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA). CoRR (2015)
Cunjing Ge, Feifei Ma
A Fast and Practical Method to Estimate Volumes of Convex Polytopes. FAW (2015)
Cunjing Ge, Feifei Ma, Jian Zhang
A Fast and Practical Method to Estimate Volumes of Convex Polytopes. CoRR (2014)
Feifei Ma, Jian Zhang
Finding orthogonal latin squares using finite model searching tools. Sci. China Inf. Sci. 56 (3) (2013)
Ji-Wei Jin, Feifei Ma, Jian Zhang
Integrating Standard Dependency Schemes in QCSP Solvers. J. Comput. Sci. Technol. 27 (1) (2012)
Feifei Ma, Jun Yan, Jian Zhang
Solving Generalized Optimization Problems Subject to SMT Constraints. FAW-AAIM (2012)
Xiaohui Ji, Feifei Ma
An Efficient Lazy SMT Solver for Nonlinear Numerical Constraints. WETICE (2012)
Jian Zhang, Feifei Ma, Zhiqiang Zhang
Faulty Interaction Identification via Constraint Solving and Optimization. SAT (2012)
Feifei Ma
Constraint solving techniques for software testing and analysis. ICSE (2) (2010)
Xiaohui Ji, Feifei Ma, Jian Zhang
Solving Global Unconstrained Optimization Problems by Symmetry-Breaking. ACIS-ICIS (2009)
Feifei Ma, Sheng Liu, Jian Zhang
Volume Computation for Boolean Combination of Linear Arithmetic Constraints. CADE (2009)
Feifei Ma, Jian Zhang
Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints. PRICAI (2008)
Feifei Ma, Jian Zhang
Computer Search for Large Sets of Idempotent Quasigroups. ASCM (2007)