Mingji Xia

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 19

Top Topics

Problems Involving

Empirical Evaluation

Benchmark Datasets

Top Venues

J. Comput. Syst. Sci.

Publications

Radu Curticapean, Mingji Xia
Parameterizing the Permanent: Hardness for fixed excluded minors. SOSA (2022)
Radu Curticapean, Mingji Xia
-minor-free graphs. CoRR (2021)
Xie Li, Taolue Chen, Zhilin Wu, Mingji Xia
Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata. SETTA (2020)
Jin-Yi Cai, Pinyan Lu, Mingji Xia
Problems on the Boolean Domain. Theory Comput. Syst. 64 (8) (2020)
Shaojiang Wang, Kun He, Yicheng Pan, Mingji Xia
Rectangle Transformation Problem. Algorithmica 81 (7) (2019)
Jin-Yi Cai, Pinyan Lu, Mingji Xia
Problems. SODA (2018)
Angsheng Li, Mingji Xia
Splitting and jump inversion in the Turing degrees. Comput. 7 (2-3) (2018)
Jin-Yi Cai, Zhiguo Fu, Mingji Xia
Complexity classification of the six-vertex model. Inf. Comput. 259 (Part) (2018)
Kun He, Liang Li, Xingwu Liu, Yuyi Wang, Mingji Xia
Variable-Version Lovász Local Lemma: Beyond Shearer's Bound. FOCS (2017)
Kun He, Liang Li, Xingwu Liu, Yuyi Wang, Mingji Xia
Variable Version Lovász Local Lemma: Beyond Shearer's Bound. CoRR (2017)
Shaojiang Wang, Kun He, Yicheng Pan, Mingji Xia
Rectangle Transformation Problem. CoRR (2017)
Jin-Yi Cai, Zhiguo Fu, Mingji Xia
Complexity Classification Of The Six-Vertex Model. CoRR (2017)
Jin-Yi Cai, Pinyan Lu, Mingji Xia
Problems. CoRR (2017)
Jin-Yi Cai, Pinyan Lu, Mingji Xia
Holographic Algorithms with Matchgates Capture Precisely Tractable Planar #CSP. SIAM J. Comput. 46 (3) (2017)
Mingji Xia
Base collapse of holographic algorithms. STOC (2016)
Mingji Xia
Base collapse of holographic algorithms. CoRR (2015)
Radu Curticapean, Mingji Xia
Parameterizing the Permanent: Genus, Apices, Minors, Evaluation mod 2^k. CoRR (2015)
Tillmann Miltzow, Jens M. Schmidt, Mingji Xia
-subdivisions. Discret. Math. 338 (12) (2015)
Radu Curticapean, Mingji Xia
Parameterizing the Permanent: Genus, Apices, Minors, Evaluation Mod 2k. FOCS (2015)
Jin-Yi Cai, Pinyan Lu, Mingji Xia
The complexity of complex weighted Boolean #CSP. J. Comput. Syst. Sci. 80 (1) (2014)
Tillmann Miltzow, Jens M. Schmidt, Mingji Xia
Counting K_4-Subdivisions. CoRR (2014)
Jin-Yi Cai, Pinyan Lu, Mingji Xia
Dichotomy for Holant* Problems with Domain Size 3. SODA (2013)
Jin-Yi Cai, Pinyan Lu, Mingji Xia
Dichotomy for Holant* Problems with a Function on Domain Size 3 CoRR (2012)
Jin-Yi Cai, Pinyan Lu, Mingji Xia
Holographic reduction, interpolation and hardness. Comput. Complex. 21 (4) (2012)
Jin-yi Cai, Pinyan Lu, Mingji Xia
Computational Complexity of Holant Problems. SIAM J. Comput. 40 (4) (2011)
Heng Guo, Sangxia Huang, Pinyan Lu, Mingji Xia
The Complexity of Weighted Boolean #CSP Modulo k. STACS (2011)
Jin-yi Cai, Pinyan Lu, Mingji Xia
Dichotomy for Holant* Problems of Boolean Domain. SODA (2011)
Jin-yi Cai, Pinyan Lu, Mingji Xia
A computational proof of complexity of some restricted counting problems. Theor. Comput. Sci. 412 (23) (2011)
Mingji Xia
Holographic Reduction: A Domain Changed Application and its Partial Converse Theorems. Int. J. Softw. Informatics 5 (4) (2011)
Jin-yi Cai, Pinyan Lu, Mingji Xia
Holographic Algorithms with Matchgates Capture Precisely Tractable Planar #CSP CoRR (2010)
Mingji Xia
Holographic Reduction: A Domain Changed Application and Its Partial Converse Theorems. ICALP (1) (2010)
Jin-yi Cai, Pinyan Lu, Mingji Xia
Holographic Algorithms with Matchgates Capture Precisely Tractable Planar_#CSP. FOCS (2010)
Peng Zhang, Mingji Xia
An approximation algorithm to the k-Steiner Forest problem. Theor. Comput. Sci. 410 (11) (2009)
Walter Cai, David C. Anastasiu, Mingji Xia, Byron J. Gao
OLAP For Multicriteria Maintenance Scheduling. DMIN (2009)
Jin-yi Cai, Pinyan Lu, Mingji Xia
A Computational Proof of Complexity of Some Restricted Counting Problems. TAMC (2009)
Byron J. Gao, Mingji Xia, Walter Cai, David C. Anastasiu
The gardener's problem for web information monitoring. CIKM (2009)
Jin-yi Cai, Pinyan Lu, Mingji Xia
Holant problems and counting CSP. STOC (2009)
Angsheng Li, Mingji Xia
A Theory for Valiant's Matchcircuits (Extended Abstract) CoRR (2008)
Jin-yi Cai, Pinyan Lu, Mingji Xia
A Family of Counter Examples to an Approach to Graph Isomorphism CoRR (2008)
Jin-yi Cai, Pinyan Lu, Mingji Xia
Holographic Algorithms by Fibonacci Gates and Holographic Reductions for Hardness. FOCS (2008)
Angsheng Li, Mingji Xia
A Theory for Valiant's Matchcircuits (Extended Abstract). STACS (2008)
Mingji Xia
Maximum Edge-Disjoint Paths Problem in Planar Graphs. TAMC (2007)
Mingji Xia, Peng Zhang, Wenbo Zhao
Computational complexity of counting problems on 3-regular planar graphs. Theor. Comput. Sci. 384 (1) (2007)
Mingji Xia, Wenbo Zhao
#3-Regular Bipartite Planar Vertex Cover is #P-Complete. TAMC (2006)