 | 2012 |
|---|
| 4 |       | Jin-Yi Cai,
Heng Guo,
Tyson Williams:
A Complete Dichotomy Rises from the Capture of Vanishing Signatures
CoRR abs/1204.6445: (2012) |
| 2011 |
|---|
| 3 | | Heng Guo,
Pinyan Lu,
Leslie G. Valiant:
The Complexity of Symmetric Boolean Parity Holant Problems - (Extended Abstract).
ICALP (1) 2011: 712-723 |
| 2 | | Heng Guo,
Sangxia Huang,
Pinyan Lu,
Mingji Xia:
The Complexity of Weighted Boolean #CSP Modulo k.
STACS 2011: 249-260 |
| 2009 |
|---|
| 1 | | Heng Guo,
Hanpin Wang,
Zhongyuan Xu,
Yongzhi Cao:
On Model Checking Boolean BI.
CSL 2009: 302-316 |
Data released under the ODC-BY 1.0 license — See also our legal information page