Follow
Heng Guo
Heng Guo
Verified email at inf.ed.ac.uk - Homepage
Title
Cited by
Cited by
Year
A complete dichotomy rises from the capture of vanishing signatures
JY Cai, H Guo, T Williams
SIAM Journal on Computing 45 (5), 1671-1728, 2016
892016
Uniform sampling through the Lovász local lemma
H Guo, M Jerrum, J Liu
Journal of the ACM (JACM) 66 (3), 1-31, 2019
812019
Random cluster dynamics for the Ising model is rapidly mixing
H Guo, M Jerrum
Annals of Applied Probability 28 (2), 1292-1313, 2018
772018
Modified log-Sobolev inequalities for strongly log-concave distributions
M Cryan, H Guo, G Mousa
Annals of Probability 49 (1), 506-525, 2021
702021
Rapid mixing from spectral independence beyond the Boolean domain
W Feng, H Guo, Y Yin, C Zhang
ACM Transactions on Algorithms (TALG) 18 (3), 1-32, 2022
692022
The complexity of approximating complex-valued Ising and Tutte partition functions
LA Goldberg, H Guo
computational complexity 26 (4), 765-833, 2017
632017
# BIS-hardness for 2-spin systems on bipartite bounded degree graphs in the tree non-uniqueness region
JY Cai, A Galanis, LA Goldberg, H Guo, M Jerrum, D Štefankovič, ...
Journal of Computer and System Sciences 82 (5), 690-711, 2016
542016
A polynomial-time approximation algorithm for all-terminal network reliability
H Guo, M Jerrum
SIAM Journal on Computing 48 (3), 964–978, 2017
462017
Approximation via correlation decay when strong spatial mixing fails
I Bezáková, A Galanis, LA Goldberg, H Guo, D Stefankovic
SIAM Journal on Computing 48 (2), 279-349, 2019
422019
FKT is not universal—A planar Holant dichotomy for symmetric constraints
JY Cai, Z Fu, H Guo, T Williams
Theory of Computing Systems, 2021
41*2021
The complexity of planar Boolean# CSP with complex weights
H Guo, T Williams
Journal of Computer and System Sciences 107, 1-27, 2020
41*2020
The complexity of symmetric Boolean parity Holant problems
H Guo, P Lu, LG Valiant
SIAM Journal on Computing 42 (1), 324-356, 2013
402013
The complexity of weighted Boolean #CSP modulo k
H Guo, S Huang, P Lu, M Xia
28th International Symposium on Theoretical Aspects of Computer Science …, 2011
342011
Fast Sampling and Counting k-SAT Solutions in the Local Lemma Regime
W Feng, H Guo, Y Yin, C Zhang
Journal of the ACM (JACM) 68 (6), 1-42, 2021
332021
Zeros of Holant problems: locations and algorithms
H Guo, C Liao, P Lu, C Zhang
ACM Transactions on Algorithms (TALG) 17 (1), 1-25, 2020
292020
Counting solutions to random CNF formulas
A Galanis, LA Goldberg, H Guo, K Yang
SIAM Journal on Computing 50 (6), 1701-1738, 2021
282021
The complexity of counting edge colorings and a dichotomy for some higher domain Holant problems
JY Cai, H Guo, T Williams
Research in the Mathematical Sciences 3 (1), 18, 2016
282016
Uniqueness, spatial mixing, and approximation for ferromagnetic 2-spin systems
H Guo, P Lu
ACM Transactions on Computation Theory (TOCT) 10 (4), 17, 2018
242018
Counting hypergraph colorings in the local lemma regime
H Guo, C Liao, P Lu, C Zhang
SIAM Journal on Computing 48 (4), 1397-1424, 2019
232019
Improving certified robustness via statistical learning with logical reasoning
Z Yang, Z Zhao, B Wang, J Zhang, L Li, H Pei, B Karlaš, J Liu, H Guo, ...
NeurIPS, 2022
19*2022
The system can't perform the operation now. Try again later.
Articles 1–20