Computer Search for Large Sets of Idempotent Quasigroups. - Feifei Ma; Jian Zhang 001 (ASCM, 2007)

Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints. - Feifei Ma; Jian Zhang 001 (PRICAI, 2008)

Solving Global Unconstrained Optimization Problems by Symmetry-Breaking. - Xiaohui Ji; Feifei Ma; Jian Zhang 001 (ACIS-ICIS, 2009)

Volume Computation for Boolean Combination of Linear Arithmetic Constraints. - Feifei Ma; Sheng Liu; Jian Zhang 001 (CADE, 2009)

Constraint solving techniques for software testing and analysis. - Feifei Ma (ICSE (2), 2010)

Solving Generalized Optimization Problems Subject to SMT Constraints. - Feifei Ma; Jun Yan 009; Jian Zhang 001 (FAW-AAIM, 2012)

Faulty Interaction Identification via Constraint Solving and Optimization. - Jian Zhang 001; Feifei Ma; Zhiqiang Zhang 007 (SAT, 2012)

An Efficient Lazy SMT Solver for Nonlinear Numerical Constraints. - Xiaohui Ji; Feifei Ma (WETICE, 2012)

Integrating Standard Dependency Schemes in QCSP Solvers. - Ji-Wei Jin; Feifei Ma; Jian Zhang 001 (J. Comput. Sci. Technol., 2012)

Finding orthogonal latin squares using finite model searching tools. - Feifei Ma; Jian Zhang 001 (Sci. China Inf. Sci., 2013)

A Fast and Practical Method to Estimate Volumes of Convex Polytopes. - Cunjing Ge; Feifei Ma; Jian Zhang 001 (CoRR, 2014)

Automatic Generation of Combinatorial Test Data - Jian Zhang 001; Zhiqiang Zhang 007; Feifei Ma (Springer, 2014)

A Fast and Practical Method to Estimate Volumes of Convex Polytopes. - Cunjing Ge; Feifei Ma (FAW, 2015)

SMT Solving for the Theory of Ordering Constraints. - Cunjing Ge; Feifei Ma; Jeff Huang 001; Jian Zhang 001 (LCPC, 2015)

A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA). - Cunjing Ge; Feifei Ma; Jian Zhang 001 (CoRR, 2015)

Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search. - Feifei Ma; Xin Gao; Minghao Yin; Linjie Pan 001; Ji-Wei Jin; Hai Liu; Jian Zhang 001 (CP, 2016)

Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic. - Hai Liu; Feifei Ma; Jian Zhang 001 (PRICAI, 2016)

Lightweight Method-Level Energy Consumption Estimation for Android Applications. - Qiong Lu; Tianyong Wu; Jiwei Yan; Jun Yan 009; Feifei Ma; Fan Zhang (TASE, 2016)

Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment. - Linjie Pan 001; Ji-Wei Jin; Xin Gao; Wei Sun 001; Feifei Ma; Minghao Yin; Jian Zhang 001 (CP, 2017)

On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model. - Sergey Bereg; Feifei Ma; Wencheng Wang 001; Jian Zhang 001; Binhai Zhu (FAW, 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 006; Feifei Ma; Kai Huang 002 (ICTAI, 2017)

A New Probabilistic Algorithm for Approximate Model Counting. - Cunjing Ge; Feifei Ma; Tian Liu; Jian Zhang 001 (CoRR, 2017)

Diversified Top-k Partial MaxSAT Solving. - Junping Zhou; Huanyao Sun; Feifei Ma; Jian Gao 007; Ke Xu 001; Minghao Yin (CoRR, 2017)

Weak QMV algebras and some ring-like structures. - Xian Lu; Yun Shang; Ruqian Lu; Jian Zhang 001; Feifei Ma (Soft Comput., 2017)

VolCE: An Efficient Tool for Solving #SMT(LA) Problems. - Cunjing Ge; Feifei Ma; Jian Zhang 001 (PRUV@IJCAR, 2018)

A New Probabilistic Algorithm for Approximate Model Counting. - Cunjing Ge; Feifei Ma; Tian Liu; Jian Zhang 001; Xutong Ma (PRUV@IJCAR, 2018)

Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. - Pei Huang 002; Feifei Ma; Cunjing Ge; Jian Zhang 001; Hantao Zhang 001 (IJCAR, 2018)

A Community-Division Based Algorithm for Finding Relations Among Linear Constraints. - Minghao Liu 001; Feifei Ma; Jun Yan 009 (KSEM (2), 2018)

Computing and estimating the volume of the solution space of SMT(LA) constraints. - Cunjing Ge; Feifei Ma; Peng Zhang 008; Jian Zhang 001 (Theor. Comput. Sci., 2018)

ACFNet: Attentional Class Feature Network for Semantic Segmentation. - Fan Zhang; Yanqin Chen; Zhihang Li; Zhibin Hong; Jingtuo Liu; Feifei Ma; Junyu Han; Errui Ding (ICCV, 2019)

Approximating Integer Solution Counting via Space Quantification for Linear Constraints. - Cunjing Ge; Feifei Ma; Xutong Ma; Fan Zhang; Pei Huang 002; Jian Zhang 001 (IJCAI, 2019)

Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. - Pei Huang 002; Minghao Liu 001; Ping Wang; Wenhui Zhang; Feifei Ma; Jian Zhang 001 (IJCAI, 2019)

Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. - Pei Huang 002; Minghao Liu 001; Cunjing Ge; Feifei Ma; Jian Zhang 001 (ISSAC, 2019)

SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications. - Rongjie Yan; Anyu Cai; Hongyu Gao; Feifei Ma; Jun Yan 009 (TASE, 2019)

On some matching problems under the color-spanning model. - Sergey Bereg; Feifei Ma; Wencheng Wang 001; Jian Zhang 001; Binhai Zhu (Theor. Comput. Sci., 2019)

Knowledge-Driven Multi-dimensional Dialogue Rewriting Model. - Xiangwei Guo; Yongli Wang; Gang Xiao 003; Feifei Ma (APWeb/WAIM Workshops, 2020)

Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. - Minghao Liu 001; Fan Zhang; Pei Huang 002; Shuzi Niu; Feifei Ma; Jian Zhang 001 (CP, 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)

Counting the Number of Solutions to Constraints. - Jian Zhang 001; Cunjing Ge; Feifei Ma (CoRR, 2020)

Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5. - Pei Huang 002; Rundong Li; Minghao Liu 001; Feifei Ma; Jian Zhang 001 (SAT, 2021)

Investigating the Existence of Costas Latin Squares via Satisfiability Testing. - Jiwei Jin; Yiqi Lv; Cunjing Ge; Feifei Ma; Jian Zhang 001 (SAT, 2021)

Can Graph Neural Networks Learn to Solve MaxSAT Problem? - Minghao Liu 001; Fuqi Jia; Pei Huang 002; Fan Zhang; Yuchen Sun; Shaowei Cai 001; Feifei Ma; Jian Zhang 001 (CoRR, 2021)

Word Level Robustness Enhancement: Fight Perturbation with Perturbation. - Pei Huang 002; Yuting Yang 002; Fuqi Jia; Minghao Liu 001; Feifei Ma; Jian Zhang 001 (AAAI, 2022)

AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis. - Jiaxin Liang; Feifei Ma; Junping Zhou; Minghao Yin (IJCAI, 2022)

ε-weakened robustness of deep neural networks. - Pei Huang 002; Yuting Yang 002; Minghao Liu 001; Fuqi Jia; Feifei Ma; Jian Zhang 001 (ISSTA, 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)

Quantifying Robustness to Adversarial Word Substitutions. - Yuting Yang 002; Pei Huang 002; Feifei Ma; Juan Cao 001; Meishan Zhang; Jian Zhang 001; Jintao Li 001 (CoRR, 2022)

A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement. - Yuting Yang 002; Pei Huang 002; Juan Cao 001; Jintao Li 001; Yun Lin 001; Jin Song Dong 001; Feifei Ma; Jian Zhang 001 (CoRR, 2022)

Improving Simulated Annealing for Clique Partitioning Problems. - Jian Gao 007; Yiqi Lv; Minghao Liu 001; Shaowei Cai 001; Feifei Ma (J. Artif. Intell. Res., 2022)

Modelling and solving the supply marketing order allocation problem with time consistency and bundle discounts. - Yupeng Zhou; Minghao Liu 001; Feifei Ma; Na Luo; Minghao Yin (J. Oper. Res. Soc., 2022)

Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract). - Minghao Liu 001; Pei Huang 002; Fuqi Jia; Fan Zhang; Yuchen Sun; Shaowei Cai 001; Feifei Ma; Jian Zhang 001 (AAAI, 2023)

Improving Bit-Blasting for Nonlinear Integer Constraints. - Fuqi Jia; Rui Han; Pei Huang 002; Minghao Liu 001; Feifei Ma; Jian Zhang 001 (ISSTA, 2023)

PSMT: Satisfiability Modulo Theories Meets Probability Distribution. - Fuqi Jia; Rui Han; Xutong Ma; Baoquan Cui; Minghao Liu 001; Pei Huang 002; Feifei Ma; Jian Zhang 001 (ASE, 2023)

NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization. - Minghao Liu 001; Kunhang Lv; Pei Huang 002; Rui Han; Fuqi Jia; Yu Zhang; Feifei Ma; Jian Zhang 001 (ASE, 2023)

Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning. - Fuqi Jia; Yuhang Dong; Minghao Liu 001; Pei Huang 002; Feifei Ma; Jian Zhang 001 (NeurIPS, 2023)

Quantifying Robustness to Adversarial Word Substitutions. - Yuting Yang 002; Pei Huang 002; Juan Cao 001; Feifei Ma; Jian Zhang 001; Jintao Li 001 (ECML/PKDD (1), 2023)

Investigating the Existence of Holey Latin Squares via Satisfiability Testing. - Minghao Liu 001; Rui Han; Fuqi Jia; Pei Huang 002; Feifei Ma; Hantao Zhang 001; Jian Zhang 001 (PRICAI (2), 2023)

PAD: A Robustness Enhancement Ensemble Method via Promoting Attention Diversity. - Yuting Yang 002; Pei Huang 002; Feifei Ma; Juan Cao 001; Jintao Li 001 (LREC/COLING, 2024)

A prompt-based approach to adversarial example generation and robustness enhancement. - Yuting Yang 002; Pei Huang 002; Juan Cao 001; Jintao Li 001; Yun Lin 001; Feifei Ma (Frontiers Comput. Sci., 2024)

A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic. - Fuqi Jia; Yuhang Dong; Rui Han; Pei Huang 002; Minghao Liu 001; Feifei Ma; Jian Zhang 001 (AAAI, 2025)