Tyson Williams

A Holant Dichotomy: Is the FKT Algorithm Universal?

Jin-Yi Cai, Heng Guo, Tyson Williams, 2015, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science.

The Complexity of Planar Boolean #CSP with Complex Weights pdf

Heng Guo, Tyson Williams, Heng Guo, 2012, ICALP.

FKT is Not Universal — A Planar Holant Dichotomy for Symmetric Constraints

Heng Guo, Jin-Yi Cai, Zhiguo Fu, 2021, Theory Comput. Syst..

A complete dichotomy rises from the capture of vanishing signatures: extended abstract

Jin-Yi Cai, Heng Guo, Tyson Williams, 2012, STOC '13.