The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Feifei Ma" ( http://dblp.L3S.de/Authors/Feifei_Ma )

  Author page on DBLP  Author page in RDF  Community of Feifei Ma in ASPL-2

Publication years (Num. hits)
2007-2015 (15) 2016-2018 (16) 2019 (5)
Publication types (Num. hits)
article(11) book(1) inproceedings(24)
Venues (Conferences, Journals, ...)
CoRR(6) CP(2) FAW(2) IJCAI(2) IJCAR(2) PRICAI(2) PRUV@IJCAR(2) Theor. Comput. Sci.(2) ACIS-ICIS(1) ASCM(1) CADE(1) FAW-AAIM(1) ICSE (2)(1) ICTAI(1) ISSAC(1) J. Comput. Sci. Technol.(1) More (+10 of total 23)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 37 publication records. Showing 36 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang 0001, Binhai Zhu On some matching problems under the color-spanning model. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fan Zhang, Yanqin Chen, Zhihang Li, Zhibin Hong, Jingtuo Liu, Feifei Ma, Junyu Han, Errui Ding ACFNet: Attentional Class Feature Network for Semantic Segmentation. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang 0001 Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang 0001 Approximating Integer Solution Counting via Space Quantification for Linear Constraints. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang 0001 Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. Search on Bibsonomy ISSAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Peng Zhang 0008, Jian Zhang 0001 Computing and estimating the volume of the solution space of SMT(LA) constraints. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang 0001, Binhai Zhu On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Minghao Liu, Feifei Ma, Jun Yan 0009 A Community-Division Based Algorithm for Finding Relations Among Linear Constraints. Search on Bibsonomy KSEM (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang 0001, Xutong Ma A New Probabilistic Algorithm for Approximate Model Counting. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang 0001, Hantao Zhang Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang 0001, Xutong Ma A New Probabilistic Algorithm for Approximate Model Counting. Search on Bibsonomy PRUV@IJCAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Jian Zhang 0001 VolCE: An Efficient Tool for Solving #SMT(LA) Problems. Search on Bibsonomy PRUV@IJCAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Junping Zhou, Huanyao Sun, Feifei Ma, Jian Gao 0007, Ke Xu, Minghao Yin Diversified Top-k Partial MaxSAT Solving. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang 0001 A New Probabilistic Algorithm for Approximate Model Counting. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Xian Lu, Yun Shang, Ruqian Lu, Jian Zhang 0001, Feifei Ma Weak QMV algebras and some ring-like structures. Search on Bibsonomy Soft Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang 0001, Binhai Zhu On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model. Search on Bibsonomy FAW The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rongjie Yan, Yupeng Zhou, Yige Yan, Minghao Yin, Min Yu, Feifei Ma, Kai Huang 0002 A Hybrid Multi-objective Evolutionary Algorithm for Energy-Aware Allocation and Scheduling Optimization of MPSoCs. Search on Bibsonomy ICTAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Linjie Pan, Ji-Wei Jin, Xin Gao, Wei Sun, Feifei Ma, Minghao Yin, Jian Zhang 0001 Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hai Liu, Feifei Ma, Jian Zhang 0001 Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic. Search on Bibsonomy PRICAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Feifei Ma, Xin Gao, Minghao Yin, Linjie Pan, Ji-Wei Jin, Hai Liu, Jian Zhang 0001 Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Qiong Lu, Tianyong Wu, Jiwei Yan, Jun Yan 0009, Feifei Ma, Fan Zhang Lightweight Method-Level Energy Consumption Estimation for Android Applications. Search on Bibsonomy TASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Jian Zhang 0001 A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Cunjing Ge, Feifei Ma A Fast and Practical Method to Estimate Volumes of Convex Polytopes. Search on Bibsonomy FAW The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Jeff Huang 0001, Jian Zhang 0001 SMT Solving for the Theory of Ordering Constraints. Search on Bibsonomy LCPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cunjing Ge, Feifei Ma, Jian Zhang 0001 A Fast and Practical Method to Estimate Volumes of Convex Polytopes. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Jian Zhang 0001, Zhiqiang Zhang 0007, Feifei Ma Automatic Generation of Combinatorial Test Data Search on Bibsonomy 2014   DOI  RDF
1Feifei Ma, Jian Zhang 0001 Finding orthogonal latin squares using finite model searching tools. Search on Bibsonomy SCIENCE CHINA Information Sciences The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ji-Wei Jin, Feifei Ma, Jian Zhang 0001 Integrating Standard Dependency Schemes in QCSP Solvers. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jian Zhang 0001, Feifei Ma, Zhiqiang Zhang 0007 Faulty Interaction Identification via Constraint Solving and Optimization. Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Xiaohui Ji, Feifei Ma An Efficient Lazy SMT Solver for Nonlinear Numerical Constraints. Search on Bibsonomy WETICE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Feifei Ma, Jun Yan 0009, Jian Zhang 0001 Solving Generalized Optimization Problems Subject to SMT Constraints. Search on Bibsonomy FAW-AAIM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Feifei Ma Constraint solving techniques for software testing and analysis. Search on Bibsonomy ICSE (2) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Xiaohui Ji, Feifei Ma, Jian Zhang 0001 Solving Global Unconstrained Optimization Problems by Symmetry-Breaking. Search on Bibsonomy ACIS-ICIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Feifei Ma, Sheng Liu, Jian Zhang 0001 Volume Computation for Boolean Combination of Linear Arithmetic Constraints. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Feifei Ma, Jian Zhang 0001 Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints. Search on Bibsonomy PRICAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Feifei Ma, Jian Zhang 0001 Computer Search for Large Sets of Idempotent Quasigroups. Search on Bibsonomy ASCM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #36 of 36 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license