Feifei Ma - RankMe

70 papers A* 12A 11B 4C 1Misc 4Journal 25Unranked 12

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