A computational proof of complexity of some restricted counting problems

Jin-yi Cai, Pinyan Lu, Mingji Xia. A computational proof of complexity of some restricted counting problems. Theoretical Computer Science, 412(23):2468-2485, 2011. [doi]

Abstract

Abstract is missing.