BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Latvia
1 × Portugal
1 × Switzerland
1 × USA
Collaborated with:
T.Williams J.Cai P.Lu L.G.Valiant H.Wang Z.Xu Y.Cao
Talks about:
complex (3) boolean (3) holograph (1) dichotomi (1) algorithm (1) signatur (1) matchgat (1) abstract (1) symmetr (1) problem (1)

Person: Heng Guo


Contributed to:

ICALP (1) 20142014
ICALP (1) 20132013
STOC 20132013
ICALP (1) 20112011
CSL 20092009

Wrote 5 papers:

ICALP-v1-2014-CaiGW #algorithm #artificial reality
Holographic Algorithms Beyond Matchgates (JYC, HG, TW), pp. 271–282.
ICALP-v1-2013-GuoW #complexity #csp
The Complexity of Planar Boolean #CSP with Complex Weights (HG, TW), pp. 516–527.
A complete dichotomy rises from the capture of vanishing signatures: extended abstract (JYC, HG, TW), pp. 635–644.
ICALP-v1-2011-GuoLV #complexity #problem #symmetry
The Complexity of Symmetric Boolean Parity Holant Problems — (HG, PL, LGV), pp. 712–723.
CSL-2009-GuoWXC #model checking #on the
On Model Checking Boolean BI (HG, HW, ZX, YC), pp. 302–316.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.