Ryan Williams Time-Space Tradeoffs for Counting NP Solutions Modulo Integers. 70-82 2007 conf/coco/2007 IEEE Conference on Computational Complexity http://doi.ieeecomputersociety.org/10.1109/CCC.2007.34 db/conf/coco/coco2007.html#Williams07