Skip to content

Mingji Xia

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

19

Venues

8

Active years

2006–2025

Best venue rank

A*

Where they publish

Papers

19 indexed papers, newest first.

YearVenueTitleAuthors
2025ICALPP-Time Algorithms for Typical #EO Problems.Boning Meng, Juqiu Wang, Mingji Xia
2025STOCThe FPᴺᴾ versus #P Dichotomy for #EO.Boning Meng, Juqiu Wang, Mingji Xia
2020SETTAComputing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata.Xie Li, Taolue Chen, Zhilin Wu, Mingji Xia
2018SODADichotomy for Real HolantJin-Yi Cai, Pinyan Lu, Mingji Xia
2017FOCSVariable-Version Lovsz Local Lemma: Beyond Shearer's Bound.Kun He, Liang Li, Xingwu Liu, Yuyi Wang, Mingji Xia
2016STOCBase collapse of holographic algorithms.Mingji Xia
2015FOCSParameterizing the Permanent: Genus, Apices, Minors, Evaluation Mod 2k.Radu Curticapean, Mingji Xia
2013SODADichotomy for Holant* Problems with Domain Size 3.Jin-Yi Cai, Pinyan Lu, Mingji Xia
2011SODADichotomy for Holant* Problems of Boolean Domain.Jin-yi Cai, Pinyan Lu, Mingji Xia
2011STACSThe Complexity of Weighted Boolean #CSP Modulo k.Heng Guo, Sangxia Huang, Pinyan Lu, Mingji Xia
2010FOCSHolographic Algorithms with Matchgates Capture Precisely Tractable Planar_#CSP.Jin-yi Cai, Pinyan Lu, Mingji Xia
2010ICALPHolographic Reduction: A Domain Changed Application and Its Partial Converse Theorems.Mingji Xia
2009CIKMThe gardener's problem for web information monitoring.Byron J. Gao, Mingji Xia, Walter Cai, David C. Anastasiu
2009STOCHolant problems and counting CSP.Jin-yi Cai, Pinyan Lu, Mingji Xia
2009TAMCA Computational Proof of Complexity of Some Restricted Counting Problems.Jin-yi Cai, Pinyan Lu, Mingji Xia
2008FOCSHolographic Algorithms by Fibonacci Gates and Holographic Reductions for Hardness.Jin-yi Cai, Pinyan Lu, Mingji Xia
2008STACSA Theory for Valiant's Matchcircuits (Extended Abstract).Angsheng Li, Mingji Xia
2007TAMCMaximum Edge-Disjoint Paths Problem in Planar Graphs.Mingji Xia
2006TAMC#3-Regular Bipartite Planar Vertex Cover is #P-Complete.Mingji Xia, Wenbo Zhao