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

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

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

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

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

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

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

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

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

Solving multi-objective constrained minimum weighted bipartite assignment problem: a case study on energy-aware radio broadcast scheduling. - Zhou, Yupeng; Fan, Mingjie; Ma, Feifei; Yin, Minghao (Sci. China Inf. Sci., 2022)

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

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

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

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

ε-weakened robustness of deep neural networks. - Huang, Pei; Yang, Yuting; Liu, Minghao; Jia, Fuqi; Ma, Feifei; Zhang, Jian (2022)

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

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

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

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

ε-weakened Robustness of Deep Neural Networks. - Huang, Pei; Yang, Yuting; Liu, Minghao; Jia, Fuqi; Ma, Feifei; Zhang, Jian (CoRR, 2021)

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

A decomposition-based memetic algorithm using helper objectives for shortwave radio broadcast resource allocation problem in China. - Zhou, Yupeng; Fan, Mingjie; Ma, Feifei; Xu, Xin; Yin, Minghao (Appl. Soft Comput., 2020)

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

Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. - Liu, Minghao; Zhang, Fan; Huang, Pei; Niu, Shuzi; Ma, Feifei; Zhang, Jian (2020)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model. - Bereg, Sergey; Ma, Feifei; Wang, Wencheng; Zhang, Jian; Zhu, Binhai (CoRR, 2018)

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

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

On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model. - Bereg, Sergey; Ma, Feifei; Wang, Wencheng; Zhang, Jian; Zhu, Binhai (2017)

A Hybrid Multi-objective Evolutionary Algorithm for Energy-Aware Allocation and Scheduling Optimization of MPSoCs. - Yan, Rongjie; Zhou, Yupeng; Yan, Yige; Yin, Minghao; Yu, Min; Ma, Feifei; Huang, Kai (2017)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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