![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Feifei Ma
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j10]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) - [c41]Yuting Yang, Pei Huang, Feifei Ma, Juan Cao, Jintao Li:
PAD: A Robustness Enhancement Ensemble Method via Promoting Attention Diversity. LREC/COLING 2024: 12574-12584 - 2023
- [c40]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: 16264-16265 - [c39]Fuqi Jia, Rui Han, Pei Huang
, Minghao Liu
, Feifei Ma, Jian Zhang:
Improving Bit-Blasting for Nonlinear Integer Constraints. ISSTA 2023: 14-25 - [c38]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: 1756-1760 - [c37]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: 2046-2049 - [c36]Fuqi Jia, Yuhang Dong, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang:
Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning. NeurIPS 2023 - [c35]Yuting Yang, Pei Huang, Juan Cao, Feifei Ma, Jian Zhang, Jintao Li:
Quantifying Robustness to Adversarial Word Substitutions. ECML/PKDD (1) 2023: 95-112 - [c34]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: 410-422 - 2022
- [j9]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): 1-16 (2022) - [j8]Jian Gao, Yiqi Lv, Minghao Liu
, Shaowei Cai, Feifei Ma:
Improving Simulated Annealing for Clique Partitioning Problems. J. Artif. Intell. Res. 74: 1485-1513 (2022) - [j7]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): 1682-1691 (2022) - [c33]Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu
, Feifei Ma, Jian Zhang:
Word Level Robustness Enhancement: Fight Perturbation with Perturbation. AAAI 2022: 10785-10793 - [c32]Jiaxin Liang, Feifei Ma, Junping Zhou, Minghao Yin:
AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis. IJCAI 2022: 1866-1872 - [c31]Pei Huang, Yuting Yang, Minghao Liu
, Fuqi Jia, Feifei Ma, Jian Zhang:
ε-weakened robustness of deep neural networks. ISSTA 2022: 126-138 - [i11]Yuting Yang, Pei Huang, Feifei Ma, Juan Cao, Meishan Zhang, Jian Zhang, Jintao Li:
Quantifying Robustness to Adversarial Word Substitutions. CoRR abs/2201.03829 (2022) - [i10]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 abs/2203.10714 (2022) - 2021
- [c30]Pei Huang, Rundong Li, Minghao Liu
, Feifei Ma, Jian Zhang:
Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5. SAT 2021: 225-241 - [c29]Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma, Jian Zhang:
Investigating the Existence of Costas Latin Squares via Satisfiability Testing. SAT 2021: 270-279 - [i9]Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang:
ε-weakened Robustness of Deep Neural Networks. CoRR abs/2110.15764 (2021) - [i8]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 abs/2111.07568 (2021) - 2020
- [j6]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: 106251 (2020) - [c28]Xiangwei Guo, Yongli Wang, Gang Xiao, Feifei Ma:
Knowledge-Driven Multi-dimensional Dialogue Rewriting Model. APWeb/WAIM Workshops 2020: 52-65 - [c27]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: 885-898 - [i7]Jian Zhang, Cunjing Ge, Feifei Ma:
Counting the Number of Solutions to Constraints. CoRR abs/2012.14366 (2020)
2010 – 2019
- 2019
- [j5]Sergey Bereg
, Feifei Ma, Wencheng Wang, Jian Zhang, Binhai Zhu:
On some matching problems under the color-spanning model. Theor. Comput. Sci. 786: 26-31 (2019) - [c26]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: 6797-6806 - [c25]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: 1093-1100 - [c24]Cunjing Ge
, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang:
Approximating Integer Solution Counting via Space Quantification for Linear Constraints. IJCAI 2019: 1697-1703 - [c23]Pei Huang, Minghao Liu
, Cunjing Ge, Feifei Ma, Jian Zhang:
Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. ISSAC 2019: 203-210 - [c22]Rongjie Yan, Anyu Cai, Hongyu Gao, Feifei Ma, Jun Yan:
SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications. TASE 2019: 160-167 - [i6]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 abs/1909.09408 (2019) - 2018
- [j4]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: 110-129 (2018) - [c21]Cunjing Ge, Feifei Ma, Jian Zhang:
VolCE: An Efficient Tool for Solving #SMT(LA) Problems. PRUV@IJCAR 2018 - [c20]Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma:
A New Probabilistic Algorithm for Approximate Model Counting. PRUV@IJCAR 2018 - [c19]Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma:
A New Probabilistic Algorithm for Approximate Model Counting. IJCAR 2018: 312-328 - [c18]Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang:
Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. IJCAR 2018: 354-369 - [c17]Minghao Liu
, Feifei Ma, Jun Yan:
A Community-Division Based Algorithm for Finding Relations Among Linear Constraints. KSEM (2) 2018: 12-23 - [i5]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 abs/1805.05448 (2018) - 2017
- [j3]Xian Lu, Yun Shang, Ruqian Lu, Jian Zhang, Feifei Ma:
Weak QMV algebras and some ring-like structures. Soft Comput. 21(10): 2537-2547 (2017) - [c16]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: 405-413 - [c15]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: 13-21 - [c14]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: 701-708 - [i4]Junping Zhou, Huanyao Sun, Feifei Ma, Jian Gao, Ke Xu, Minghao Yin:
Diversified Top-k Partial MaxSAT Solving. CoRR abs/1706.00123 (2017) - [i3]Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang:
A New Probabilistic Algorithm for Approximate Model Counting. CoRR abs/1706.03906 (2017) - 2016
- [c13]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: 650-665 - [c12]Hai Liu, Feifei Ma, Jian Zhang:
Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic. PRICAI 2016: 262-270 - [c11]Qiong Lu, Tianyong Wu, Jiwei Yan
, Jun Yan, Feifei Ma, Fan Zhang:
Lightweight Method-Level Energy Consumption Estimation for Android Applications. TASE 2016: 144-151 - 2015
- [c10]Cunjing Ge, Feifei Ma:
A Fast and Practical Method to Estimate Volumes of Convex Polytopes. FAW 2015: 52-65 - [c9]Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang:
SMT Solving for the Theory of Ordering Constraints. LCPC 2015: 287-302 - [i2]Cunjing Ge, Feifei Ma, Jian Zhang:
A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA). CoRR abs/1507.00142 (2015) - 2014
- [b1]Jian Zhang, Zhiqiang Zhang, Feifei Ma:
Automatic Generation of Combinatorial Test Data. Springer Briefs in Computer Science, Springer 2014, ISBN 978-3-662-43428-4, pp. 1-90 - [i1]Cunjing Ge, Feifei Ma, Jian Zhang:
A Fast and Practical Method to Estimate Volumes of Convex Polytopes. CoRR abs/1401.0120 (2014) - 2013
- [j2]Feifei Ma, Jian Zhang:
Finding orthogonal latin squares using finite model searching tools. Sci. China Inf. Sci. 56(3): 1-9 (2013) - 2012
- [j1]Ji-Wei Jin, Feifei Ma, Jian Zhang:
Integrating Standard Dependency Schemes in QCSP Solvers. J. Comput. Sci. Technol. 27(1): 37-41 (2012) - [c8]Feifei Ma, Jun Yan, Jian Zhang:
Solving Generalized Optimization Problems Subject to SMT Constraints. FAW-AAIM 2012: 247-258 - [c7]Jian Zhang, Feifei Ma, Zhiqiang Zhang:
Faulty Interaction Identification via Constraint Solving and Optimization. SAT 2012: 186-199 - [c6]Xiaohui Ji, Feifei Ma:
An Efficient Lazy SMT Solver for Nonlinear Numerical Constraints. WETICE 2012: 324-329 - 2010
- [c5]Feifei Ma:
Constraint solving techniques for software testing and analysis. ICSE (2) 2010: 417-420
2000 – 2009
- 2009
- [c4]Xiaohui Ji, Feifei Ma, Jian Zhang:
Solving Global Unconstrained Optimization Problems by Symmetry-Breaking. ACIS-ICIS 2009: 107-111 - [c3]Feifei Ma, Sheng Liu, Jian Zhang:
Volume Computation for Boolean Combination of Linear Arithmetic Constraints. CADE 2009: 453-468 - 2008
- [c2]Feifei Ma, Jian Zhang:
Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints. PRICAI 2008: 247-259 - 2007
- [c1]Feifei Ma, Jian Zhang:
Computer Search for Large Sets of Idempotent Quasigroups. ASCM 2007: 349-358
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint