R. Ryan Williams Time-Space Tradeoffs for Counting NP Solutions Modulo Integers. 179-219 2008 17 Computational Complexity 2 http://dx.doi.org/10.1007/s00037-008-0248-y db/journals/cc/cc17.html#Williams08