Folgen
夏盟佶      Xia, Mingji
夏盟佶 Xia, Mingji
Bestätigte E-Mail-Adresse bei ios.ac.cn
Titel
Zitiert von
Zitiert von
Jahr
Holant problems and counting CSP
JY Cai, P Lu, M Xia
Proceedings of the forty-first annual ACM symposium on Theory of computing …, 2009
1162009
Holographic algorithms by Fibonacci gates and holographic reductions for hardness
JY Cai, P Lu, M Xia
2008 49th Annual IEEE Symposium on Foundations of Computer Science, 644-653, 2008
822008
The complexity of complex weighted Boolean# CSP
JY Cai, P Lu, M Xia
Journal of Computer and System Sciences 80 (1), 217-236, 2014
742014
Computational complexity of counting problems on 3-regular planar graphs
M Xia, P Zhang, W Zhao
Theoretical Computer Science 384 (1), 111-125, 2007
732007
Computational complexity of Holant problems
JY Cai, P Lu, M Xia
SIAM Journal on Computing 40 (4), 1101-1132, 2011
672011
Dichotomy for Holant* problems of Boolean domain
JY Cai, P Lu, M Xia
Proceedings of the twenty-second annual ACM-SIAM symposium on Discrete …, 2011
58*2011
Holographic algorithms with matchgates capture precisely tractable planar_# CSP
JY Cai, P Lu, M Xia
2010 IEEE 51st Annual Symposium on Foundations of Computer Science, 427-436, 2010
582010
Dichotomy for Real Holantc Problems
JY Cai, P Lu, M Xia
Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete …, 2018
292018
A computational proof of complexity of some restricted counting problems
JY Cai, P Lu, M Xia
Theoretical computer science 412 (23), 2468-2485, 2011
292011
Parameterizing the permanent: Genus, apices, minors, evaluation mod 2k
R Curticapean, M Xia
2015 IEEE 56th Annual Symposium on Foundations of Computer Science, 994-1009, 2015
252015
Holographic reduction, interpolation and hardness
JY Cai, P Lu, M Xia
Computational Complexity 21, 573-604, 2012
252012
Dichotomy for Holant Problems with a Function on Domain Size 3
JY Cai, P Lu, M Xia
Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete …, 2013
222013
Holographic algorithms by Fibonacci gates
JY Cai, P Lu, M Xia
Linear Algebra and its Applications 438 (2), 690-707, 2013
212013
Holographic algorithms with matchgates capture precisely tractable planar# CSP
JY Cai, P Lu, M Xia
SIAM Journal on Computing 46 (3), 853-889, 2017
192017
# 3-regular bipartite planar vertex cover is# P-complete
M Xia, W Zhao
International Conference on Theory and Applications of Models of Computation …, 2006
192006
Complexity classification of the six-vertex model
JY Cai, Z Fu, M Xia
Information and Computation 259, 130-141, 2018
182018
Holographic reduction: A domain changed application and its partial converse theorems
M Xia
Automata, Languages and Programming: 37th International Colloquium, ICALP …, 2010
122010
Variable-version Lovász local lemma: Beyond Shearer's bound
K He, L Li, X Liu, Y Wang, M Xia
2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS …, 2017
102017
Base collapse of holographic algorithms
M Xia
Proceedings of the forty-eighth annual ACM symposium on Theory of Computing …, 2016
52016
A Theory for Valiant's Matchcircuits
A Li, M Xia
arXiv preprint arXiv:0802.2860, 2008
52008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20