A Computational Proof of Complexity of Some Restricted Counting Problems.

Jin-yi Cai, Pinyan Lu, Mingji Xia

Browse the full TAMC paper archive.