a Computer Sciences Department, University of Wisconsin-Madison, Madison, WI 53706, USAb Microsoft Research Asia, Beijing, 100190, PR Chinac State Key Laboratory of Computer Science, Institute of Software, CAS, Beijing, 100190, PR China ;
Jin-Yi Cai,Pinyan Lu,Mingji Xia. a computational proof of complexity of some restricted counting problems[J]. Theoretical Computer Science,2010-01-01:-.