Holographic algorithm with matchgates is universal for planar #CSP over boolean domain.

Jin-Yi Cai, Zhiguo Fu

Browse the full STOC paper archive.