Heng Guo

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2013
j1		Heng Guo, Pinyan Lu, Leslie G. Valiant: The Complexity of Symmetric Boolean Parity Holant Problems. SIAM J. Comput. 42(1): 324-356 (2013)
	2012
c4		Jin-Yi Cai, Xi Chen, Heng Guo, Pinyan Lu: Inapproximability after Uniqueness Phase Transition in Two-Spin Systems. COCOA 2012: 336-347
i3		Jin-Yi Cai, Heng Guo, Tyson Williams: A Complete Dichotomy Rises from the Capture of Vanishing Signatures. CoRR abs/1204.6445 (2012)
i2		Jin-Yi Cai, Xi Chen, Heng Guo, Pinyan Lu: Inapproximability After Uniqueness Phase Transition in Two-Spin Systems. CoRR abs/1205.2934 (2012)
i1		Heng Guo, Tyson Williams: The Complexity of Planar Boolean #CSP with Complex Weights. CoRR abs/1212.2284 (2012)
	2011
c3		Heng Guo, Pinyan Lu, Leslie G. Valiant: The Complexity of Symmetric Boolean Parity Holant Problems - (Extended Abstract). ICALP (1) 2011: 712-723
c2		Heng Guo, Sangxia Huang, Pinyan Lu, Mingji Xia: The Complexity of Weighted Boolean #CSP Modulo k. STACS 2011: 249-260
	2009
c1		Heng Guo, Hanpin Wang, Zhongyuan Xu, Yongzhi Cao: On Model Checking Boolean BI. CSL 2009: 302-316

Coauthor Index

Last update Wed May 22 11:43:17 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page