Jin-yi Cai, Pinyan Lu, Mingji Xia. A Computational Proof of Complexity of Some Restricted Counting Problems. In Jianer Chen, S. Barry Cooper, editors, Theory and Applications of Models of Computation, 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings. Volume 5532 of Lecture Notes in Computer Science, pages 138-149, Springer, 2009. [doi]
Abstract is missing.