Feifei Ma

According to our database1, Feifei Ma authored at least 58 papers between 2007 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A prompt-based approach to adversarial example generation and robustness enhancement.
Frontiers Comput. Sci., August, 2024

2023
Investigating the Existence of Holey Latin Squares via Satisfiability Testing.
Proceedings of the PRICAI 2023: Trends in Artificial Intelligence, 2023

Quantifying Robustness to Adversarial Word Substitutions.
Proceedings of the Machine Learning and Knowledge Discovery in Databases: Research Track, 2023

Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning.
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.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

PSMT: Satisfiability Modulo Theories Meets Probability Distribution.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Improving Bit-Blasting for Nonlinear Integer Constraints.
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).
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.
J. Oper. Res. Soc., 2022

Improving Simulated Annealing for Clique Partitioning Problems.
J. Artif. Intell. Res., 2022

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

Quantifying Robustness to Adversarial Word Substitutions.
CoRR, 2022

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

ε-weakened robustness of deep neural networks.
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.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Word Level Robustness Enhancement: Fight Perturbation with Perturbation.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021
Can Graph Neural Networks Learn to Solve MaxSAT Problem?
CoRR, 2021

Investigating the Existence of Costas Latin Squares via Satisfiability Testing.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

2020
Counting the Number of Solutions to Constraints.
CoRR, 2020

A decomposition-based memetic algorithm using helper objectives for shortwave radio broadcast resource allocation problem in China.
Appl. Soft Comput., 2020

Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks.
Proceedings of the Principles and Practice of Constraint Programming, 2020

Knowledge-Driven Multi-dimensional Dialogue Rewriting Model.
Proceedings of the Web and Big Data. APWeb-WAIM 2020 International Workshops, 2020

2019
On some matching problems under the color-spanning model.
Theor. Comput. Sci., 2019

SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing.
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.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Approximating Integer Solution Counting via Space Quantification for Linear Constraints.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

ACFNet: Attentional Class Feature Network for Semantic Segmentation.
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.
Theor. Comput. Sci., 2018

A Community-Division Based Algorithm for Finding Relations Among Linear Constraints.
Proceedings of the Knowledge Science, Engineering and Management, 2018

Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing.
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

A New Probabilistic Algorithm for Approximate Model Counting.
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

VolCE: An Efficient Tool for Solving #SMT(LA) Problems.
Proceedings of the Second Workshop on Logics for Reasoning about Preferences, 2018

2017
Weak QMV algebras and some ring-like structures.
Soft Comput., 2017

Diversified Top-k Partial MaxSAT Solving.
CoRR, 2017

A New Probabilistic Algorithm for Approximate Model Counting.
CoRR, 2017

A Hybrid Multi-objective Evolutionary Algorithm for Energy-Aware Allocation and Scheduling Optimization of MPSoCs.
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.
Proceedings of the Frontiers in Algorithmics - 11th International Workshop, 2017

Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment.
Proceedings of the Principles and Practice of Constraint Programming, 2017

2016
Lightweight Method-Level Energy Consumption Estimation for Android Applications.
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic.
Proceedings of the PRICAI 2016: Trends in Artificial Intelligence, 2016

Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search.
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).
CoRR, 2015

SMT Solving for the Theory of Ordering Constraints.
Proceedings of the Languages and Compilers for Parallel Computing, 2015

A Fast and Practical Method to Estimate Volumes of Convex Polytopes.
Proceedings of the Frontiers in Algorithmics - 9th International Workshop, 2015

2014
Automatic Generation of Combinatorial Test Data
Springer Briefs in Computer Science, Springer, ISBN: 978-3-662-43429-1, 2014

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

2013
Finding orthogonal latin squares using finite model searching tools.
Sci. China Inf. Sci., 2013

2012
Integrating Standard Dependency Schemes in QCSP Solvers.
J. Comput. Sci. Technol., 2012

An Efficient Lazy SMT Solver for Nonlinear Numerical Constraints.
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

Faulty Interaction Identification via Constraint Solving and Optimization.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Solving Generalized Optimization Problems Subject to SMT Constraints.
Proceedings of the Frontiers in Algorithmics and Algorithmic Aspects in Information and Management, 2012

2010
Constraint solving techniques for software testing and analysis.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009
Volume Computation for Boolean Combination of Linear Arithmetic Constraints.
Proceedings of the Automated Deduction, 2009

Solving Global Unconstrained Optimization Problems by Symmetry-Breaking.
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.
Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

2007
Computer Search for Large Sets of Idempotent Quasigroups.
Proceedings of the Computer Mathematics, 8th Asian Symposium, 2007


  Loading...