Mingji Xia

55 papers A* 11A 4C 4Misc 1Journal 31Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Dichotomy for Holant* problems with one ternary function on domain size 3.
Inf. Comput.
Jin-Yi Cai, Pinyan Lu, Mingji Xia
2026 J jnl
The framework to unify all complexity dichotomy theorems for Boolean tensor networks.
CoRR
Mingji Xia
2026 C ed.
Theory and Applications of Models of Computation - 19th Annual Conference, TAMC 2025, Jinan, China, September 19-21, 2025, Proceedings
TAMC
Min Li, Mingji Xia, Peng Zhang
2026 J jnl
Variable version Lovász local lemma: A tale of two boundaries.
Inf. Comput.
Kun He, Liang Li, Xingwu Liu, Yuyi Wang, Mingji Xia
2025 A conf
From an Odd Arity Signature to a Holant Dichotomy.
CCC
Boning Meng, Juqiu Wang, Mingji Xia, Jiayi Zheng
2025 J jnl
From an odd arity signature to a Holant dichotomy.
CoRR
Boning Meng, Juqiu Wang, Mingji Xia, Jiayi Zheng
2025 A* conf
P-Time Algorithms for Typical #EO Problems.
ICALP
Boning Meng, Juqiu Wang, Mingji Xia
2025 J jnl
The FP
CoRR
Boning Meng, Juqiu Wang, Mingji Xia
2025 A* conf
The FPᴺᴾ versus #P Dichotomy for #EO.
STOC
Boning Meng, Juqiu Wang, Mingji Xia
2024 J jnl
P-time Algorithms for Typical #EO Problems.
CoRR
Boning Meng, Juqiu Wang, Mingji Xia
2022 — conf
Parameterizing the Permanent: Hardness for fixed excluded minors.
SOSA
Radu Curticapean, Mingji Xia
2021 J jnl
Parameterizing the Permanent: Hardness for K
CoRR
Radu Curticapean, Mingji Xia
2020 Misc conf
Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata.
SETTA
Xie Li, Taolue Chen, Zhilin Wu, Mingji Xia
2020 J jnl
Dichotomy for Holant
Theory Comput. Syst.
Jin-Yi Cai, Pinyan Lu, Mingji Xia
2019 J jnl
Rectangle Transformation Problem.
Algorithmica
Shaojiang Wang, Kun He, Yicheng Pan, Mingji Xia
2018 J jnl
Complexity classification of the six-vertex model.
Inf. Comput.
Jin-Yi Cai, Zhiguo Fu, Mingji Xia
2018 A* conf
Dichotomy for Real Holant
SODA
Jin-Yi Cai, Pinyan Lu, Mingji Xia
2018 J jnl
Splitting and jump inversion in the Turing degrees.
Comput.
Angsheng Li, Mingji Xia
2017 J jnl
Complexity Classification Of The Six-Vertex Model.
CoRR
Jin-Yi Cai, Zhiguo Fu, Mingji Xia
2017 J jnl
Dichotomy for Real Holant
CoRR
Jin-Yi Cai, Pinyan Lu, Mingji Xia
2017 J jnl
Holographic Algorithms with Matchgates Capture Precisely Tractable Planar #CSP.
SIAM J. Comput.
Jin-Yi Cai, Pinyan Lu, Mingji Xia
2017 J jnl
Rectangle Transformation Problem.
CoRR
Shaojiang Wang, Kun He, Yicheng Pan, Mingji Xia
2017 J jnl
Variable Version Lovász Local Lemma: Beyond Shearer's Bound.
CoRR
Kun He, Liang Li, Xingwu Liu, Yuyi Wang, Mingji Xia
2017 A* conf
Variable-Version Lovász Local Lemma: Beyond Shearer's Bound.
FOCS
Kun He, Liang Li, Xingwu Liu, Yuyi Wang, Mingji Xia
2016 A* conf
Base collapse of holographic algorithms.
STOC
Mingji Xia
2016 — ch.
Holographic Algorithms.
Encyclopedia of Algorithms
Jin-Yi Cai, Pinyan Lu, Mingji Xia
2015 J jnl
Base collapse of holographic algorithms.
CoRR
Mingji Xia
2015 J jnl
Counting K
Discret. Math.
Tillmann Miltzow, Jens M. Schmidt, Mingji Xia
2015 A* conf
Parameterizing the Permanent: Genus, Apices, Minors, Evaluation Mod 2k.
FOCS
Radu Curticapean, Mingji Xia
2015 J jnl
Parameterizing the Permanent: Genus, Apices, Minors, Evaluation mod 2^k.
CoRR
Radu Curticapean, Mingji Xia
2014 J jnl
Counting K_4-Subdivisions.
CoRR
Tillmann Miltzow, Jens M. Schmidt, Mingji Xia
2014 J jnl
The complexity of complex weighted Boolean #CSP.
J. Comput. Syst. Sci.
Jin-Yi Cai, Pinyan Lu, Mingji Xia
2013 A* conf
Dichotomy for Holant* Problems with Domain Size 3.
SODA
Jin-Yi Cai, Pinyan Lu, Mingji Xia
2012 J jnl
Dichotomy for Holant* Problems with a Function on Domain Size 3
CoRR
Jin-Yi Cai, Pinyan Lu, Mingji Xia
2012 J jnl
Holographic reduction, interpolation and hardness.
Comput. Complex.
Jin-Yi Cai, Pinyan Lu, Mingji Xia
2011 J jnl
A computational proof of complexity of some restricted counting problems.
Theor. Comput. Sci.
Jin-Yi Cai, Pinyan Lu, Mingji Xia
2011 J jnl
Computational Complexity of Holant Problems.
SIAM J. Comput.
Jin-Yi Cai, Pinyan Lu, Mingji Xia
2011 A* conf
Dichotomy for Holant* Problems of Boolean Domain.
SODA
Jin-Yi Cai, Pinyan Lu, Mingji Xia
2011 J jnl
Holographic Reduction: A Domain Changed Application and its Partial Converse Theorems.
Int. J. Softw. Informatics
Mingji Xia
2011 A conf
The Complexity of Weighted Boolean #CSP Modulo k.
STACS
Heng Guo, Sangxia Huang, Pinyan Lu, Mingji Xia
2010 J jnl
Holographic Algorithms with Matchgates Capture Precisely Tractable Planar #CSP
CoRR
Jin-Yi Cai, Pinyan Lu, Mingji Xia
2010 A* conf
Holographic Algorithms with Matchgates Capture Precisely Tractable Planar_#CSP.
FOCS
Jin-Yi Cai, Pinyan Lu, Mingji Xia
2010 — conf
Holographic Reduction: A Domain Changed Application and Its Partial Converse Theorems.
ICALP (1)
Mingji Xia
2009 C conf
A Computational Proof of Complexity of Some Restricted Counting Problems.
TAMC
Jin-Yi Cai, Pinyan Lu, Mingji Xia
2009 J jnl
An approximation algorithm to the k-Steiner Forest problem.
Theor. Comput. Sci.
Peng Zhang, Mingji Xia
2009 A* conf
Holant problems and counting CSP.
STOC
Jin-Yi Cai, Pinyan Lu, Mingji Xia
2009 — conf
OLAP For Multicriteria Maintenance Scheduling.
DMIN
Walter Cai, David C. Anastasiu, Mingji Xia, Byron J. Gao
2009 A conf
The gardener's problem for web information monitoring.
CIKM
Byron J. Gao, Mingji Xia, Walter Cai, David C. Anastasiu
2008 J jnl
A Family of Counter Examples to an Approach to Graph Isomorphism
CoRR
Jin-Yi Cai, Pinyan Lu, Mingji Xia
2008 J jnl
A Theory for Valiant's Matchcircuits (Extended Abstract)
CoRR
Angsheng Li, Mingji Xia
2008 A conf
A Theory for Valiant's Matchcircuits (Extended Abstract).
STACS
Angsheng Li, Mingji Xia
2008 A* conf
Holographic Algorithms by Fibonacci Gates and Holographic Reductions for Hardness.
FOCS
Jin-Yi Cai, Pinyan Lu, Mingji Xia
2007 J jnl
Computational complexity of counting problems on 3-regular planar graphs.
Theor. Comput. Sci.
Mingji Xia, Peng Zhang, Wenbo Zhao
2007 C conf
Maximum Edge-Disjoint Paths Problem in Planar Graphs.
TAMC
Mingji Xia
2006 C conf
#3-Regular Bipartite Planar Vertex Cover is #P-Complete.
TAMC
Mingji Xia, Wenbo Zhao